Module

Control.Subcategory.ClosedMonoidal

#ClosedMonoidal

class (ClosedSemimonoidal c t, HasTUnit c t u0 u1) <= ClosedMonoidal c t u0 u1 

Instances

Modules