> Static types are not powerful enough to cross remote boundaries.

?

Is this related:

https://ocharles.org.uk/blog/guest-posts/2014-12-23-static-p...