quickCheckAll всегда возвращает True

Я пытаюсь использовать QuickCheck после другого ответа. Я тестирую так:

{-# LANGUAGE TemplateHaskell #-}
import Test.QuickCheck
import Test.QuickCheck.All


last' :: [a] -> a
last' [x] = x
last' (_:xs) = last' xs

prop_test x = last' x == last x

check = do
        putStrLn "quickCheck"
        quickCheck (prop_test :: [Char]-> Bool)

check2 = do
        putStrLn "quickCheckAll"
        $quickCheckAll

Затем я загружаю его в winGHCI и вызываю check и check2. я получил

quickCheck
*** Failed! (after 1 test): 
Exception:
  list.hs:(7,1)-(8,23): Non-exhaustive patterns in function last'
""

что я считаю разумным. Однако я получаю это от check2

quickCheckAll
True

Я в замешательстве, потому что как бы я ни меняла функцию last', даже неправильную, quickCheckAll всегда возвращает True.

Что не так с моим кодом? Как я могу это исправить?