Re: Existential types in Hugs98

[Ralf Hinze]

| I've just grabbed Hugs98. All the 1.3c things seem to be there, but not
| existentials. Have I misunderstood something (e.g. the WhatsNew file)?

I feel into the same trap. The syntax has changed:

> data T = forall a.T a (a -> Int)

Note the explicit universal quantifier in front of the constructor.

Cheers, Ralf