../../../../../Prelude/Natural/show 3