пацаны вы фримонады и интерпретаторы юзаете в работе?
Фримонады иногда полезны в дизайне либ, но строить целиком приложение на них может быть не удобным и медленным с точки зрения производительности.
Я как-то эксперимента ради одно домашнее приложение где-то на 10к строк так сделал, в итоге сбежал на final tagless обратно.