Control.Functor.Combinators.Of
data
Of
f p a b
liftOf