Control.Functor.HigherOrder.Composition
data CompH f g a b
class HComposition o