Using QuickCheck to verify Haskell Typeclass Laws