Parameterized.Data.Monoid

class PMEmpty n id

class PMonoid n id t u v