Data.Monoid.Transformer
class C t