Data.Category.Functor
data Cat
data CatW
class Functor ftag
data Id k
data g :.: h
data Const c1 c2 x
type ConstF f
data Opposite f
data OpOp k
data OpOpInv k
data Proj1 c1 c2
data Proj2 c1 c2
data f1 :***: f2
data DiagProd k
type Tuple1 c1 c2 a
type Tuple2 c1 c2 a
type Swap c1 c2
data Hom k
type x :*-: k
type k :-*: x
type HomF f g
type Star f
type Costar f