Control.Category.Cartesian.Closed

Cartesian Closed Category

class CCC hom prod exp i

Co-(Cartesian Closed Category)

class CoCCC hom sum coexp i