On Thu, 2004-08-26 at 09:47, MR K P SCHUPKE wrote: > You can do it using overlapping instances... > > data A > data B b > data C c > > instance Encode A where ... > > instance Encode b => Encode (B b) where > > instance Encode c => Encode (C c) where > > Keean.
I don't understand what you mean; that code segment doesn't require overlapping instances. How can this help anyway since Encode (or Mixin or Hook) is a two parameter type-class? Thanks, -Si -- Simon D. Foster <[EMAIL PROTECTED]> Sheffield University _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
