Text this: A Functional Abstraction of Typed Invocation Contexts