use plain Applicative, not modified.  Start implementing a CPS transformer.
continue with CSP transfomer.  Higher order hiccups...