Let's say we want to quickcheck the function !!. Passing a negative index to it is an error. However, how can you make a check that it indeed errors in such situation?

prop_negative_index_generates_error list = forAll negativeIndex \x -> ...

What should I write in ...?

[]'s

Rafael