下のエントリは前段でこっちが本題。id:hyukiさんとこにコメントをつけたんだけど，忘れないようにこっちにも書いておく。
filter' f xs = foldr (\m n -> if f m then m:n else n) [] xs
結果。
*Main> take 50 $ filter' odd [1..] [1,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51,53,55, 57,59,61,63,65,67,69,71,73,75,77,79,81,83,85,87,89,91,93,95,97,99]