Exploring Rust's Associated Types