These slides have moved:

https://slides.com/sunjay/how-rust-makes-advanced-type-systems-accessible-to-the-masses