Maybe a is a Monoid: if its type parameter a is a Monoid as well