Labels and the tentative solution to the MPTC Dilemma
dinko.tenev at gmail.com
Thu Feb 16 04:42:45 EST 2006
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.
More information about the Haskell-prime