Re: [GHC] #14729: normaliseType is not well-kinded