18 Jul
2011
18 Jul
'11
9:31 p.m.
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