../../../../../Prelude/Optional/null Natural ([] : Optional Natural)