I hope someday there will be a Compiling to Categories-esque language. When it comes down to it, the essence of all of this is just keeping a rigorous separatio

I hope someday there will be a Compiling to Categories-esque language. When it comes down to it, the essence of all of this is just keeping a rigorous separation of implementation and interface. Just build a language with that in mind, and you can have purity and never have to know what a monad is.