[Haskell-beginners] For class Monoid; better names than mempty & mappend might have been: mid (mident) & mbinop