Remove Non type-variable argument in the constraint
Fix missing paren
An alternate way to show the function for quickcheck