0:00 -:--
Speed
++++++
Operators as sugar for traits, traits as generic constraints, monomorphization, and universal and existential types.