RE: Haskell 98

[Simon Peyton-Jones]

> Classes appear in *contexts*, not in types. So there's no 
> confusion. This is
> another `bug fix' which simplifies the language, and I think 
> we should do it.

Consider the function

        t :: T a => T a -> T a

I think that it's far from clear what each of the T's mean!
Worse, in Haskell 2 we'll also have

        t :: T T => T a -> T a

In (T T) one is class and the other is a type constructor.


Simon