with and into set the immediate children of whatever they are given, whereas we'd really like the ability to "wrap up" a small tree and treat it as an atomic element. This might require a new combinator, but I'm hoping there's a way I can write the above and have it Just Work.
Consider the following
It's probably expected that we get the following:
However, what we actually get is
with
andinto
set the immediate children of whatever they are given, whereas we'd really like the ability to "wrap up" a small tree and treat it as an atomic element. This might require a new combinator, but I'm hoping there's a way I can write the above and have it Just Work.