Infer the type of ctx for a specific procedure
Let's say I had a helper function that I wanted to pass the context to, I can't use the default Context type, because this helper is only used for procedures that add things to the context. Is it possible to infer the type of the context after a specific procedure runs?
