Parameterized.Data.Monoid

class PMempty n id

type PMonoid n id t u v