работает на передачках? типа как тюрьма?
она берёт крюк рекурсивной операции, два раза откладывает его вычисления когерентно расширениям в аргументах, и на каждом шагу смотрит продолжать ли рекурсию и передаёт продолжение следующей рекурсивной процедуре