Здравствуйте, thesz, Вы писали:

T>Ещё не все с этим знакомы, а надо бы, "Чтобы все".

T>An Applicative Control-Flow Graph Based on Huet’s Zipper.

Знакомы уже много лет.
Вполне рабочая модель для определённой стадии компиляции (низкоуровневой оптимизации локального кода в бэкэнде).