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

[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)

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