sprinkles @contextful and @mayFail annotations