Test a polymorphic property, defaulting all type variables to
Integer.
Invoke as $(polyQuickCheck 'prop), where prop
is a property. Note that just evaluating quickCheck
prop in GHCi will seem to work, but will silently default all
type variables to ()!
$(polyQuickCheck 'prop) means the same as
quickCheck $(monomorphic 'prop). If you want to
supply custom arguments to polyQuickCheck, you will have to
combine quickCheckWith and monomorphic yourself.
If you want to use polyQuickCheck in the same file where you
defined the property, the same scoping problems pop up as in
quickCheckAll: see the note there about return [].