haskell-ChasingBottoms: require QuickCheck < 2.7
Agda: require QuickCheck < 2.7