On Sat, Nov 12, 2005 at 08:02:27PM +0100, Benjamin Franksen wrote: > > There is a small problem - you can define type-class instances for > > type synonyms in Haskell 98. > > So what? Oops, it should be: "you *can't* define type-class instances ..." But I guess you already figured it out. Best regards Tomasz