Changed tests due to unification of `Nat` and `Natural`
Changed tests due to unification of `Nat` and `Natural`

in the follwing merge request:
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3583

haskell/haddock,haskell/haddock,haskell/haddock,haskell/haddock,haskell/haddock