[Haskell] QuickCheck and HPC Tutorial