Deploying a distributed system? A type system helps a lot