module PatFail002 where f (let a = x in a) = _