Control.Category.Cartesian.Closed
class CCC (<=)
unitCCC
counitCCC
class CoCCC (<=)
unitCoCCC
counitCoCCC