haskell-agda: 2.4.0.1 needs QuickCheck 2.7.5 specifically