Dependent Haskell. Maybe one day.

But also a better package system than the current state of Hackage. Otherwise, Haskell is perfect.