Kinds.hascasl revision bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2
Type
a
(a,b) %[Intersection]%
a->b
a->b->c
(a)
a->(b->c)
(a->b)->c
+(a->b) ->c
+(-a ->b) ->c
(a,b->c)