Свертка и развертка крайне фундаментальная вещь, удивляюсь, как много задач ложится на пару-тройку таких преобразований.
Особенно прекрасно, что эти функции (fold/unfold) могут быть сгенерированы автоматически.

Хаскель отбил у меня желание заниматься преждевременной оптимизацией, в любом случае, мы можем без проблем отсеивать ненужное в построенном ленивом дереве. Я даже сначала что-то такое начал мудрить, а потом забросил, и так сработало.