remove monoid instance, add haste
blah