[Haskell-beginners] Why does QuickCheck insist on this class constraint?

[martin]

Am 04/01/2015 um 10:43 PM schrieb Chaddaï Fouché:
> Why are you putting those type signatures everywhere ? Won't your code compile without them ? It seems to me that
> absent a strange Change type, all those things can be inferred... Are you doing this as an exercise or because you
> think it is more readable ?

I had put them there, because I thought QuickCheck needs them. But you're right they are not needed and then my question
becomes a non-issue.