../../../../../Prelude/Optional/any Natural Natural/even ([] : Optional Natural)