Kinds.hascasl.output revision 5d2f1a7947dde4ff340f8d4908ae0f22c74fdeda
Type
a
(a,b)
a ->b
a ->b ->c
a
a ->b ->c
(a ->b) ->c