Monadic Memoization

Modular memoization within a pure functional setting that is implemented as a convenient computation builder.