Control.Functor.Combinators.Flip
data
Flip
p a b
liftFlip