Data.Type.Combinator

data f :.: g

data f :..: g

data IT

data I

data LL a f g

data RR g f a

data SS f g

data CT

data C

data Join f a

data Flip p b a

flipped