Design parametric types, generic functions, bounds, variance, and specialization strategies. Compare erased, reified, and monomorphized implementations.
