Break out HaskellMonad
Break out HaskellMonoid
Show that [] forms a monoid