depending explicitly on QuickCheck 2.6 which is annoying