module PatFail001 where

f (\x -> a) = _