Как «letrec» ​​реализуется без использования «set!»?

Как можно реализовать letrec без использования набора ! ?

Мне кажется, что поставили! - это императивная программная конструкция, и при ее использовании теряются преимущества функционального программирования.