Remove Non type-variable argument in the constraint
Fix missing paren
An alternate way to show the function for quickcheck
Merge pull request #1 from matthiasgoergens/master

Fixing your compile problems and an alternate way to QuickCheck functions