The Rust example I showed changes behavior when you declare the types. It's not just a readability or bug catching thing.