Does ML have do notation?

In ML do you need to write `List.map` where in Haskell you can write `map` and it infers the type?