>In many ways O'Caml is a better SML than SML, but Haskell, and especially the GHC variant, has a type system that is light years ahead of both.

Not true. Haskell does not have neither subtyping nor row and structural polymorphism for example.