Module

Control.Subcategory.Category

#Category

class (HasIdentity c, Semigroupoid c) <= Category (c :: Type -> Type -> Type) 

Instances

Modules