Verifying Typeclass Laws in Haskell with QuickCheck | Hacker News Reader