../../../../../../Prelude/Natural/show.dhall 0