Parameterized.Data.Semigroup

class PSemigroup n t u v

(&<>)