../../../../../../Prelude/List/last Natural ([] : List Natural)