On Fri, Oct 17, 2014 at 10:55 AM, Dimitri DeFigueiredo <defigueiredo@ucdavis.edu> wrote:

Finally and most puzzling, why does quickCheck give out the wrong result if I don't specify the type when testing 'const_bug'?

Quickcheck properties must be monomorphic. Otherwise defaulting rules set you up for () and hilarity ensues.

Did you google "quickcheck polymorphic types"?

-- Kim-Ee