2021-03-18 19:48:09 +03:00
|
|
|
|
|
|
|
```unison
|
2021-08-24 00:05:37 +03:00
|
|
|
structural type One a = One a
|
2021-03-18 19:48:09 +03:00
|
|
|
unique type Woot a b c = Woot a b c
|
|
|
|
unique type Z = Z
|
|
|
|
|
|
|
|
snoc k aN = match k with
|
|
|
|
One a0 -> Woot (One a0) (One aN) 99
|
|
|
|
|
|
|
|
> snoc (One 1) 2
|
|
|
|
```
|