A simple virtual machine, with reverse engineering I avoided.

Trying a Search.Algorithms library, then having to resort to hand-building search.

Using Maybe to say if blocks can be moved, and the monad instance to simplify the plumbing.