Catch all in pattern matching suceeds too often

[stefankoegel]

No case of a function should be applicable if one of them fails because the argument has not been evaluated sufficiently.

Example:

foo (x:xs) = 1
foo _        = 0

$> foo a
   0