Hello,
referring to the Haskell 98 report as available in the Internet, I have a short
question. Section 4.1.3 (Syntax of Class Assertions and Contexts) contains the
rule:
class -> qtycls tyvar
| qtycls ( tyvar atype1 ... atypen ) (n>=1)
Is there a (simple) practical example of a Haskell type expression using the
second line of the above rule?
Thanks a lot,
Sascha
--
Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen!
Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
