created Monoid', and then tried out my incorrect implementation of Monoid (a -> b)