How to QuickCheck that a certain error is thrown in pure Haskell code

quickcheck-an-exception.hs

{-# LANGUAGE ScopedTypeVariables #-}

import Control.Exception
import Control.DeepSeq
import Data.List (isPrefixOf)
import System.IO.Unsafe (unsafePerformIO)
import Test.QuickCheck

main :: IO ()
main = quickCheck $ property $ \(list :: [Char], n :: Int) ->
  n >= length list ==> throwsIndexError (list !! n)


throwsIndexError :: (NFData a) => a -> Bool
throwsIndexError expr = unsafePerformIO $ do
  res <- try $ evaluate (force expr)
  case res of
    Left (ErrorCall msg) -> return $ "Prelude.(!!): index too large" `isPrefixOf` msg
    Right _              -> return False -- no exception