@mayFail now generates a hygienic name for the implicit parameter