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