Hask.Category.Polynomial

Product Category

data Product p q a b

class ProductOb p q a

type family Fst p :: i

type family Snd q :: j

Coproduct Category

data Coproduct c d a b

class CoproductOb p q a

Unit Category

data Unit a b

Empty Category

data Empty a b

data Void

absurd