Data.Type.Combinator

data Comp1 f g

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

data Conj t f

data LL c

data RR c