The upgrade problem seems like quite a serious drawback though?
(Regarding shipping any code, I’ve been toying with the idea of expressing actors as arrows (or better CCCs). It’s too bad that arrow notation inserts unnecessary arrs breaking the possibility of doing serialisation.)