module PatFail003 where

f (case x of a -> b) = _