Sun Aug 2 10:47:44 EDT 2015

Continuation Monad - reasoning problems

Think of it like this:

C.M is only used for inserting "wrappers" around the current value.
I.e. the current continuation is replaced with one that inserts a
wrapper, then passes control to the current continuation.

'k' is goto with arguments.

What keeps tripping me up is switching between:

- "normal view", what is exposed by >>= and do.

- "raw view", where continuations and state are manipulated as lambda

Trouble is that the statecont monad is good for variable binding
because it mimicks usual control flow, but no good for "just put this
thing there" kind of operations.