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