Mon May 20 12:09:49 EDT 2019

State Continuation Threading

Something I still do not understand is why state can't bubble upwards.

No it's really not possible because of the nested construction.  The
way to get it is to put it in the data structure and fish it out.

Woah I'm really stuck at this...

I think I need to read the original paper.  Because if this doesn't
work, then there is no point to use anything but nested state monads
without the whole continuation business.

So: give up.  Use a more traditional writer/reader/state stack, and
re-thread on every block.