On 2/16/06, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
[...]
> class EqL1 a c | a -> c
> instance EqL1 L1 HTrue
> instance EqL1 L2 HFalse
>
> class EqL2 a c | a -> c
> instance EqL2 L1 HFalse
> instance EqL2 L2 HTrue
[...]
Doesn't this spell quadratic blow-up on the number of labels in scope?
It also seems tangled, considering the cost of adding a new label to the set.
--
Cheers,
Dinko
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime
