Все же не надо сравнивать Scheme с хаскелем. Несмотря на то, что там принято писать в фапе-стиле, это не функциональный язык. На нем, в некоторой степени, можно даже велосипедить ООП.
На хаскеле через всякие монады типа state? Это собственно и есть костыль, который к ФП aka подстановочной модели никакого отношения не имеет. В Scheme это на уровне семантики языка. Там есть замыкания и set!
Судя по докам эта штука может делать динамические библиотеки из машкода. Что любопытно. Лисповый open-source начнет уходить от гигантских монолитных образов