Via Lambda the Ultimate, I just discoved Epigram, a Haskell-like language with dependent types. There's a well-written tutorial here which will help explain what dependent types are good for.