Reworked insertion (doesn't seem better) and added a somewhat snarky conclusion. Burning bridges at ICFP.
Vertical arrows and appends and new balance figure.