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