foldrが無限リストを扱えるというならできるはずだと思って書いてみた。 drop' n = foldr f [] . zip (trueWhile n) where trueWhile n = (replicate n True) ++ (repeat False) f (True, _) = id f (_ , x) = (:) x （追記）foldrに食わせる関数が2引数であ…