Re: [GHC] #13201: Type-level naturals aren't instantiated with GHCi debugger (was: Type-level naturals aren't instantiate with GHCi debugger)