Generics

Generic functions, classes, constraints, and conditional types.