Control.Functor.Combinators.Lift
data Lift p f g a
type f :*: g
type f :+: g
type Ap p