Quarterback - Implements a total function K => ExecutionContext which allows your to translate back and forth on some other type than references to execution contexts.
DualContext - Takes the important information in the constructor, so that shifting occurs within the knowns rather than at the call site.
Quarterback - Implements a total function
K => ExecutionContext
which allows your to translate back and forth on some other type than references to execution contexts.DualContext - Takes the important information in the constructor, so that shifting occurs within the knowns rather than at the call site.