Some fun examples of things you can do with type inference in Rust, from a GCC-rust contributor.