Labels and the tentative solution to the MPTC Dilemma

[Dinko Tenev]

On 2/16/06, oleg at pobox.com <oleg at pobox.com> 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