module PatFail006 where f (-(1)) = _