Module

Control.Subcategory.Monoidal

#Monoidal

class (Semimonoidal c bf t, HasTUnit c bf u0 u1) <= Monoidal c bf t u0 u1 

Instances

Modules