Domain
Compile-time type safety: type parameters, bounds, wildcards, and the consequences of erasure.