В смысле более лучшая замена TH? Да имеет. Но TH всё равно придтся поддерживать
Да, более лучшая замена, чтобы в типе трекать, например, как далеко полез TH скрипт, делал ли IO, и чтобы на основе этого принималось решение о том, надо ли скрипт эвалюировать заново при инкрементальной компиляции