Control.Functor.Pointed.Composition
data PointedCompF f g a
data PostCompF mw f a
data PreCompF f mw a
data DistCompF f g a