Kinds.hascasl.output revision bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2
Type
a
(a, b)
a -> b
a -> b -> c
a
a -> b -> c
(a -> b) -> c
+(a -> b) -> c
+(-a -> b) -> c
(a, b -> c)