Test monoid laws and lots of nested do blocks