Re: [GHC] #12356: StaticPointers support in GHCi