Control.Category
class Category cat