Re: [GHC] #14563: GHC Panic with TypeInType / levity polymorphism