Re: Haskell 2 -- Dependent types?

[Lennart Augustsson]

> 2.    in the face of the above, we need to give the compiler more guidance.
> Personally, I favour type declarations everywhere: all identifiers should be
> introduced as being of a particular specified type.
> 
> Of course, whether these principles are compatible with Haskell it another
> question...
Giving everything a type certainly is compatible with Haskell.
In Haskell you can almost do it, and the syntax could be
trivially extended to allow it everywhere (i.e. in lambda
and case, and for type variables.)

I think giving types everywhere is an excellent starting point, but
I also feel that it should be relaxed a little, because sometimes it can
be rather redundant.

   -- Lennart