Чудо какое нашёл (на scala конечно; пацаны активно пилят:)

cats-tagless -- library of utilities for tagless final encoded algebras

TF -- это паттерн ФП для встраивания типизированных DSL. Можно например создать единый по семантике DSL с интерпретаторами для JVM (Akka), JS (React), или нативных бинарников (Scala Native). Что-нибудь вроде продвинутого LINQ для линукса с оптимизацией SQL-запросов. Или абстракция над IO, Future, ZIO для переключения между рантаймами. итд итп.