Parameterized.Data.Monoid

class PMEmpty n id

type PMonoid n id t u v