let%monad syntax (refs #1)