Re: [GHC] #11992: RFC, add Suc to base