../../../../../../Prelude/List/replicate 9 Natural 1