Catch all in pattern matching suceeds too often
stefankoegel opened this issue · comments
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