I see a benefit: it would let us stop using `any` and `!any` all over the place right now, and later we could replace strings with actual context return types.