Discussion at the time (44 points, 2011, 16 comments) https://news.ycombinator.com/item?id=2503967

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?

Monads? I'll give you monads on your behind.