Labels and the tentative solution to the MPTC Dilemma

Dinko Tenev dinko.tenev at
Thu Feb 16 04:42:45 EST 2006

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



More information about the Haskell-prime mailing list