Experimenting with nested binds
Adding an eval monad to debug individual fixes
Adding the benchmark and loop monad