Apply a missing substitution in mkEtaWW (#16979)
The mkEtaWW
case for newtypes forgot to apply the substitution to
the newtype coercion, resulting in the Core Lint errors observed
in #16979 (closed). Easily fixed.
Fixes #16979 (closed).
The mkEtaWW
case for newtypes forgot to apply the substitution to
the newtype coercion, resulting in the Core Lint errors observed
in #16979 (closed). Easily fixed.
Fixes #16979 (closed).