Monadic let-bindings
