Should this be ported from Haskell's QuickCheck?
Should this be ported from Haskell's QuickCheck?