Re: [GHC] #15806: Impredicativity behavior in `:k` command in GHCi