Re: [GHC] #13202: Levity polymorphism panic in GHCi