See Section 4.1.1 of [Forging Smyth: The Implementation of Program Sketching with Live Bidirectional Evaluation](https://jlubin.net/assets/forging-smyth.pdf) for details.
See Section 4.1.1 of Forging Smyth: The Implementation of Program Sketching with Live Bidirectional Evaluation for details.