Я в настоящее время на 4-й главе Real World Haskell, и я пытаюсь обернуть голову вокругреализация Foldl с точки зрения Foldr.

(Вот их код :)

myFoldl :: (a -> b -> a) -> a -> [b] -> a

myFoldl f z xs = foldr step id xs z
    where step x g a = g (f a x)

Я думал, что я попытаюсь реализоватьzip используя ту же технику, но я, кажется, не делаю никакого прогресса. Это вообще возможно?