Control.Compose
type Unop a
type Binop a
class ContraFunctor h
data (g :. f) a
type O
data OO f (~>) a b
data FunA h a b
class FunAble h
class Monoid_f m
data Flip (~>) b a
type OI
class ToOI sink
data f :$ a
type App
data Id a
data (f :*: g) a
data (f ::*:: g) a b
data Arrw (~>) f g a
type :->: