They've gone the Haskell route of adding a billion features to a non-dependent type system instead. Not that I blame them, nobody has figured out practical dep

They've gone the Haskell route of adding a billion features to a non-dependent type system instead. Not that I blame them, nobody has figured out practical dependent typing yet. (Idris is making good progress in the field though)