../../../../../../Prelude/Optional/null Natural (Some 2)