Proving Type Class Laws for Haskell. - Andreas Arvidsson; Moa Johansson; Robin Touche (TFP, 2016)