Control.Category.Cartesian.Closed

Cartesian Closed Category

class CCC k

unitCCC

counitCCC

Co-(Cartesian Closed Category)

class CoCCC k

unitCoCCC

counitCoCCC