как же дальше жить

[sassa_nf]

Prelude> let it f xs = ys where (ys, fs) = unzip $ zipWith ($) (f:fs) xs

<interactive>:3:35:
    Occurs check: cannot construct the infinite type:
      b0 = b1 -> (a0, b0)

Рекурсию решить может, а вот такое - нет. Как дальше жить? :)

Comments

[sassa-nf.livejournal.com]

а это я по мотивам поста про Iteratee. По сути Iteratee в изложении rssh генерируют вот такую вот цепочку fs для xs. Я попытался использовать трюк, выражающий unfoldr через zipWith, но вот с выводом типа получилась беда.