If you don't mind me asking, what are the disadvantages of having this as a feature in the language/runtime (as opposed to providing it as a library). Is it that it keeps the language simple? Also, can you give a bit some examples of the advantages Haskell has over Scala/Ocaml for the library based approach?