Module Base__Monad.Make_indexed.Let_syntax.Let_syntax.Open_on_rhs