Data.Functor.Contravariant.Compose

data Compose f g a

data ComposeFC f g a

data ComposeCF f g a