Operators as sugar for traits, traits as generic constraints, monomorphization, and universal and existential types.
(Thanks to the couple people donating who opted out of the reward tier, as well. You know who you are!)
