Control.Functor.Combinators.Lift
data
Lift
p f g a
type
f
:*:
g
runProductF
type
f
:+:
g
runCoproductF
type
Ap
p
runAp
mkAp