Stuff on monadic wrappers for REPL

Shuffle around stuff. Gotta sleep on this, after *dinner*.
Maybe `eval` is a bad example for an object-level name here, because it sounds like a meta-level thingy.