Functional combinators for monadic actions that require allocation and de-allocation - View it on GitHub