Added unit tests re Maybe's monad plus laws and ListMonoid's monoid laws