../../../../../Prelude/List/filter Natural Natural/odd [ +2, +3, +5 ]