Module

Control.Subcategory.Semimonoidal

#Semimonoidal

class (HasTJoin c bf t) <= Semimonoidal c bf t 

Instances

Modules