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