help wanted with type error message

Malcolm Wallace Malcolm.Wallace@cs.york.ac.uk
Thu, 5 Apr 2001 10:48:46 +0100


> In that case you need an existential type (not Haskell 98), which GHC
> and Hugs support thus:
> 
>	data Row a =  forall f. Formula f => Row (f a, Weight)

And incidentally, nhc98 also supports this particular extension with
this syntax.  (Hbc supports it too, but with a slightly different
syntax.)

Regards,
    Malcolm