>>4
I looked, but it did not have kind polymorphism, type families, generalized abstract data types, rank N polymorphism, existential types, phantom types, impredicative polymorphism, functional dependencies (I prefer type families), newtype, generalized newtype deriving, no type classes.
I could go on, but it looks really primitive. It is not that I don't like it. But it is so simple minded.