Haskell has ways of expressing that sort of logic well, but you still need to write, maintain, and test all of the code that abstracts all the languages. There

Haskell has ways of expressing that sort of logic well, but you still need to write, maintain, and test all of the code that abstracts all the languages. There will be a lot of demand for optimizations, customization points, support for importing third party packages, and so on. There's a huge gap between proof of concept and fully mature product in this space. You're basically talking about modelling all the compilers and interpreters with one product.