Hask.Category
class Category' p
class Category'' p
class Category p
class Functor f
class FunctorOf p q f
class Bifunctor p
type Cod2 p
type Dom2 p
class Vacuous c a
data Constraint
data a :- b
data Dict $a
class Class b h
class b :=> h
data Yoneda p a b
type family Op p :: i -> i -> *
type Opd f
data Nat p q f g
type NatId p
type Endo p a
type Presheaves p
type Copresheaves p
type family NatDom f :: i -> i -> *
type family NatCod f :: j -> j -> *
data Either a b
data Fix f a