[ Monoids and proofs ]
http://www.haskellforall.com/2014/07/equational-reasoning-at-scale.html