Ru/Haskell/Introduction to QuickCheck