Module

Control.Subcategory.Semigroupoid

#Semigroupoid

class (HasCompose s) <= Semigroupoid (s :: Type -> Type -> Type) 

Instances

Modules