>>946
oddElems :: [a] -> [a]
oddElems = filter' snd (odd . fst) . zip [0..]
filter' _ _ [] = []
filter' f p (x:xs) = if p x then f x : filter' f p xs
このとき，oddElem の入力となるリストを es．その長さを n = length es とします．
zip [0..] は関数で，この関数が結果のリスト全体を作成するには es の全要素を辿ります.
zip [0..] es が生成するリストを es' とすると，そのは長さは es の長さと同じ n です．
filter' snd (odd . fst) es' は結果のリスト全体を生成するのに es の全要素を辿ります．
融合変換して es' という中間リストがなくなれば，辿るべきリストが1つ減っていることが期待できますよね．