Ну я уже много раз говорил, что считаю mtl как раз boiler plate. Люди почему-то смотрят на FM и видят бойлерплейт в интерпретаторах, когда их один раз написал и забыл. А вот boilerplate в бизнес-логике, который приходит с системами эффектов и FT, они не видят
Так бойлерплейт у фри монад как раз тут и будет, потому что придется как-то выкручиваться в кейсах, когда надо совместить в одном месте два разных эффекта из разных библиотек или модулей.
Что через FT решается просто как нечего делать. (Как пример - см. скаловскую котовую экосистему)