Beyond the type system, you're snapshoting exact behavior. Differences between x = y, and 2x=y that the types don't encapsulate, even in rust.