I think you're looking for let syntax (https://github.com/janestreet/ppx_let). It is syntactic sugar for monads and applicatives.