Add Haskell quickcheck code examples