[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    Re: [Haskell-cafe] Class Synonyms - example 2
From:       Jorge Adriano Aires <jadrian () mat ! uc ! pt>
Date:       2004-12-11 17:56:25
Message-ID: 200412111756.25685.jadrian () mat ! uc ! pt
[Download RAW message or body]


> Jorge,
>
> > Besides the case where 'a' is the same as 'b', there is also another
> > interesting case. That is when you have both, Foo A B and Foo B A.
> > This is a
> > known property (named DoubleFoo) [...]
>
> Again, with -fallow-undecidable-instances:
>
> \begin{code}
> class (Foo a b, Foo b a) => DoubleFoo a b
> instance (Foo a b, Foo b a) => DoubleFoo a b
> \end{code}

Ah! Got it.
Thanks  Stefan,

J.A.

[prev in list] [next in list] [prev in thread] [next in thread]