Control.Category.Cartesian.Closed

Cartesian Closed Category

class CCC (<=)

unitCCC

counitCCC

Co-(Cartesian Closed Category)

class CoCCC (<=)

unitCoCCC

counitCoCCC