module PatFail007 where f (+1) = _