-
Simon Peyton Jones authored
Iavor uncovered this subtle omission in liftCoSubst. The problem and its solution are desribed in Note [Substituting kinds in liftCoSubst]
8c846f71
Iavor uncovered this subtle omission in liftCoSubst. The problem and its solution are desribed in Note [Substituting kinds in liftCoSubst]