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