Account for TYPE vs CONSTRAINT in mkSelCo
As #23018 (closed) showed, in mkRuntimeRepCo we need to account for coercions between TYPE and COERCION.
See Note [mkRuntimeRepCo]
in GHC.Core.Coercion.
As #23018 (closed) showed, in mkRuntimeRepCo we need to account for coercions between TYPE and COERCION.
See Note [mkRuntimeRepCo]
in GHC.Core.Coercion.