Verifying Typeclass Laws in Haskell with QuickCheck #1 Post by MidsizeBlowfish » Thu, May 29, 2014, 11:17 AM UTC Verifying Typeclass Laws in Haskell with QuickCheckaustinrochford.com