4 ms·
`(a->r)->r` is `a` with some added context?
by jhpriestley 16y ago
`(a->r)->r` is `a` with some added context?
- tel 16y agoIn the sense that you can combine Cont r a objects into CPS computations over a value of type a, yes. It's a leaky metaphor but it does reiterate the two levels of logic going on in a monad: the "boxed" value and the "box" itself.