Default instances for types in monoid