Explore advanced concepts of Rust's type system in this 25-minute conference talk from RustConf 2017. Delve into practical applications of exotic type system capabilities, including zero-sized types, efficient implementation of deeply recursive types, and the meanings of monomorphization and type erasure. Learn how to leverage Rust's generics, traits, and uniquely sized types through real-world examples from the Diesel project. Gain a deeper understanding of why these advanced features exist and how to apply them effectively in your own Rust programming projects.