hmm, i'm kind of confused when it comes to the purported benefits of Unison. I understand the benefits of Unison, if your entire project is in Unison. You get type checking across your entire distributed code base, and you get awesome serialization/deserialization for free. But what happens when for performance or other reasons you can't do your entire project in Unison? The Unison language itself is going to undoubtedly have tradeoffs between expressivity and performance. Just as an example, a portion of a project might have to be done in C++ for performance reasons. Now you are going to have to do serialization/deserialization between C++ and Unison. It appears the problem hasn't gone away.