21. Generics

Generic parameters abstract over types with zero runtime cost: the compiler emits a specialised copy per concrete type. Bounds such as `T: Ord` state what capabilities the code requires, and where-clauses keep complex signatures readable.