Haskell still has sort of a way to emulate dependent types in many practical cases, without a ton of work or a huge performance hit [1].

Direct support could be nice, though.

[1]: http://okmij.org/ftp/Computation/lightweight-static-guarante...