CSE, because GHC won't do it for me.
Added monoid instance tests.