Verifying Typeclass Laws in Haskell with QuickCheck · HackerTrans