../../../../../Prelude/Natural/enumerate 0