Replaced Haddock comments with multiline strings
Added QuickCheck example