Operators as sugar for traits, traits as generic constraints, monomorphization, and universal and existential types.