Data.Type.Combinator

data (f :.: g) a

data I a

data C r a

mapC

data Flip p b a

flipTestEquality1

mapFlip

data Cur p a b

mapCur

data Uncur p

mapUncur

data Cur3 p a b c

mapCur3

data Uncur3 p

mapUncur3

data Join f a

mapJoin