../../../../../../Prelude/Optional/null Natural (None Natural)