Use Monoid' from monoid-extras instead of homegrown
Reversible utils and misc