Control.Category.Structures

class Products cat

class Coproducts cat

class CatPlus cat

class CatTrans t