It builds with QuickCheck 2.16.
It builds with QuickCheck 2.16.