It's really an ML with type classes and a better syntax (and a non-stupid module sublanguage) that also just happens to be more C-like.