@mayFail now generates a hygienic name for the implicit parameter
outlines the context API