This adds support to converting from QuickCheck Fun functions to Haskell
functions, with automatic uncurring and even in lists of such functions.

This allows constraining generated values by providing typed patterns,
e.g. `(xs :: [NonNegative Int])` for function with signature `[Int] -> …`.