From b91e697449c77c54bac2ab123cf38863b8eedce1 Mon Sep 17 00:00:00 2001
From: Schrottkatze <git@schrottkatze.de>
Date: Thu, 11 Jan 2024 10:55:25 +0100
Subject: [PATCH] add example for multiple generics

---
 docs/design/type-notation.typ | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/design/type-notation.typ b/docs/design/type-notation.typ
index 18e7d95..7858b50 100644
--- a/docs/design/type-notation.typ
+++ b/docs/design/type-notation.typ
@@ -9,6 +9,11 @@ Operator signature that takes two unnamed arbitrary numbers of the same type and
 Op<T: Num> [ T T ] -> T
 ```
 
+Operator signature that takes any color and any number type, and returns a color again:
+```iowo
+Op<C: Color, M: Num> [ C M ] -> C
+```
+
 Operator that takes a 32 bit signed integer and returns another:
 
 ```iowo