06.20.2018 - By Chris Krycho
Operators as sugar for traits, traits as generic constraints, monomorphization, and universal and existential types.