In the Haskell 98 and 2010 reports it states that one may declare something of the form (tyvar1 -> tyvar2) to be an instance of a type class. Is that a function or what is it? Can anyone point me to an example of this?

TIA.

Best,

- Phil -