Re: [GHC] #11402: Add Peano numbers