Все, что говорит о скалашках, говорит:
с тех пор развилось и было расширено за счет функций, которых нет в Haskell QuickCheck
Итак, что это за функции?
По сути, это поддержка тестирования с учетом состояния (конечного автомата). Эта функциональность существует в коммерческих предложениях QuickCheck, но не в бесплатном Haskell QuickCheck. API ScalaCheck также немного богаче, чем API QuickCheck.