Link to "Coeffects: A calculus of context-dependent computation."