Make QuickCheck more UHC-friendly. It's not quite enough yet though.
Hint to discourage use of unGen.