02.Hint

Because we are abstract in the type parameter A, we are limited in the number of possible implementations. But there's more than one implementation that meets the monoid laws.