[Haskell] Haskell 98 syntax question

"Sascha Böhme" sascha.boehme at gmx.de
Wed Jan 10 09:33:44 EST 2007


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,
Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! 
Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer

More information about the Haskell mailing list