Generics (templates work differently), HKTs (not in Rust yet, but something a long-term tool would need to be aware of), general ADT stuff (sum and product types - emulatable with generics and polymorphism).