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