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