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