Haskell 2 -- Dependent types?

[Lars Lundgren]

The trend seems to be define wishes for haskell 2, so here are mine:

We have already accepted undecidable type checking, so why not take a
big step forward, and gain expressive power of a new magnitude, by
extending the type system to allow dependent types.

Cayenne, http://www.cs.chalmers.se/~augustss/cayenne, already has
dependent types, but seems to be an experimental language only with a very
small user base. 

Just a thought.
/Lars L