Feature Request - monadic blocks

[strega-nil]

I'd like to be able to write something like

      get_structural_ty(lhs, ty_names)
      >>= (lhs) => get_structural_ty(rhs, ty_names)
      >>= (rhs) => pure(Ty_lam(lhs, rhs))

however, when refmt is run on this code, it turns out like

      get_structural_ty(lhs, ty_names)
      >>= ((lhs) => get_structural_ty(rhs, ty_names) >>= ((rhs) => pure(Ty_lam(lhs, rhs))))

which is quite a bit less readable.

[rickyvetter]

Is this reason-tools specific? Or does it happen with refmt in your editor/cli as well? If the later, we should upstream this request to reason repo.

[strega-nil]

it happens with refmt in my editor, yeah.