То есть на полном серьёзе топить за фри монады в архитектуре приложений - это очень сомнительно.
Я пробовал, впечатления куда хуже чем от таглесс файнал по юзабилити.
Ну и да, фри монады по своему устройству и принципам на порядок сложнее tagless final, которое объясняется с нуля за 5 минут (хоть и требует некоторой интуиции при использовании на практике)