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