../../../../../Prelude/List/any Natural Natural/even [ +2, +3, +5 ]