Как иммутабельность может приводить к отсутствию Гц?
К слову, иммутабельность делает gc ноу-брейнером, сборка мусора в этих условиях становится тривиальной задачей.
Однако, в Хаскеле есть и мутабельные ссылки и структуры данных (IORef, *ST), поэтому воспользоваться этим предположением не получится.
На сегодняшний день в Хаскеле реализован обычный generational concurrent incremental gc