Control.Category.Cartesian.Closed
Cartesian Closed Category
class
CCC
hom prod exp i
unitCCC
counitCCC
Co-(Cartesian Closed Category)
class
CoCCC
hom sum coexp i
unitCoCCC
counitCoCCC