constrained datatype

Wang Meng wangmeng at
Wed Jan 14 18:20:02 EST 2004

Hi All,

Anybody knows why the following code does not work?

> class Foo n

> data Erk n = Foo n => Erk

    All of the type variables in the constraint `Foo n' are already in
        (at least one must be universally quantified here)
    When checking the existential context of constructor `Erk'
    In the data type declaration for `Erk'
Failed, modules loaded: none.

Is there any reason for this error?

  @ @

More information about the Haskell mailing list