Re: [GHC] #14263: typeKind is quadratic