Re: [GHC] #9818: Add `Natural` number type to `base`