`Eq DmdType` is wrong about free variables
As !7044 (comment 397934) showed, it's absolutely crucial that the Eq DmdType
instance equates modulo defaultFvDmd
s. That is, <L>{x->A y->L} == <L>{y->L}
should be true. Likewise, b{x->B} == b
.
As !7044 (comment 397934) showed, it's absolutely crucial that the Eq DmdType
instance equates modulo defaultFvDmd
s. That is, <L>{x->A y->L} == <L>{y->L}
should be true. Likewise, b{x->B} == b
.