> 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

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to