../../../../../../Prelude/Optional/any Natural Natural/even (Some 2)