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