Monomorphise QuickCheck properties before running them.