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