We know the value of constraining reference capabilities from Rust (`mut` annotations etc). Now imagine you could annotate these references even further, descri

We know the value of constraining reference capabilities from Rust (`mut` annotations etc). Now imagine you could annotate these references even further, describing how they specifically operate wrt concurrency. To me, that is where Pony shines. We'll see more of this in other languages.