oops

spec.md

@@ -188,15 +188,15 @@ def example(li: List[Char]) -> {t:Token,rem:List[Char]} {
 
 ## recursive data types
 ```
-type List[t] = {head:t, tail:List[t]}
+type List[t] = 'End | 'Cons {head:t, tail:List[t]}
 # now you might notice an issue with this
 # `type` defines non-distinct type alisases
 # so what is the type of this...
 # Introducing: type self references
 # the above example is the same as this:
-type List[t] = &a {head:t, tail:a}
+type List[t] = &a ('End | 'Cons {head:t, tail:a})
 
 # example 2:
 # a List[List[t]] is just:
-&b {head: &a {head:t, tail:a}, tail: b}
+&b ('End | 'Cons {head: &a ('End | 'Cons {head:t, tail:a}), tail: b})
 ```