Re: [GHC] #15195: Merge -XPolyKinds with -XTypeInType