Reproducing these local bindings at the REPL can get tedious indeed, which is why I made scope-capture. See this video to have an idea of the workflow it yields; In practice I use it mostly with the companion library scope-capture-nrepl in Cursive’s REPL. Comments and questions are always welcome 
2 Likes