mirror of
https://github.com/unisonweb/unison.git
synced 2024-10-26 11:07:48 +03:00
12 lines
163 B
Plaintext
12 lines
163 B
Plaintext
|
|
structural ability Foo where
|
|
foo : {Foo} Nat
|
|
|
|
structural type Wrap a = Wrap Nat
|
|
|
|
blah : Wrap {Foo} -> Nat
|
|
blah = cases
|
|
Wrap.Wrap n -> n + 1
|
|
|
|
> blah (Wrap 99)
|