remove disambiguation for constructor map (#9017)
remove disambiguation for constructor map (#9017)

remove disambiguation for constructor map
gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml