Re: Labels and the tentative solution to the MPTC Dilemma

On 2/16/06, oleg@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