Inline monoid instance for Unit can't possibly do anything useful.

`a` was a strict unit, left `b` as it is lazy, but I would
_hope_ it could be removed with no effect.