Automatic comparison of Haskell expressions and types based on QuickCheck.