On Tue, 2011-07-19 at 01:13 +0200, Yves Parès wrote: > Oh, I got it: You want to have: > > class Bird b where > > class Penguin p where > > instance (Penguin b) => Bird b where > fly = -- fly method for penguins >
I haven't followed the thread carefully but why does the bird have to be a penguin? ---------- As a side note - I agree with Christopher Done that the answer is that you shouldn't require for bird to fly. Regards
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe