../../../../../../Prelude/Optional/any Natural Natural/even (None Natural)