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