Re: Overlapping instances?

[Kevin Atkinson]

Lars Henrik Mathiesen wrote:
> 
> > Date: Sun, 13 Jun 1999 01:51:06 -0400
> > From: Kevin Atkinson <[EMAIL PROTECTED]>
> 
> > Could some one explain to me why [this is not OK]:
> 
> >   class T f r
> >
> >   instance T a       (d a)
> >   instance T (c a b) (c a (d b))
> 
> Because, just as Hugs says:

Thanks but why is this OK?

  class T f r

  instance T a       (a)
  instance T (c a b) (c a (b))

I mean the comman instance here is T (c a b) (c a (b)).
-- 
Kevin Atkinson
[EMAIL PROTECTED]
http://metalab.unc.edu/kevina/