Control.Category.Cartesian.Closed
Cartesian Closed Category
class
CCC
k
unitCCC
counitCCC
Co-(Cartesian Closed Category)
class
CoCCC
k
unitCoCCC
counitCoCCC