Sandbox: Add a Lazy datatype which is a Monad.
Plug the benchmarks with CMake.