Kinds.hascasl revision a030fdd60d67ac5b7fe898c4346a64f136807013
Type
a
a->b
a->b->c
(a)
a->(b->c)
(a->b)->c
+(a->b) ->c
+(-a ->b) ->c