Existentials

[Ralf Hinze]

Existential types seem to have vanished ...

If loading ...

> data Appl = MkAppl (a -> Int) a (a -> a)

hugs (Version: 990121 Beta, -98 mode) complains

ERROR "Test.lhs" (line 1): Undefined type variable "a".

Did I miss anything?

Cheers, Ralf