Data.Category.RepresentableFunctor

data Representable f repObj

unrepresent

covariantHomRepr

contravariantHomRepr

type InitialUniversal x u a

initialUniversal

type TerminalUniversal x u a

terminalUniversal