Stuff on monadic wrappers for REPL

Shuffle around stuff. Gotta sleep on this, after *dinner*.
XXX to drop