Explain variance in TypeScript and its implications.

Variance describes how subtyping relationships are preserved in generic types. Covariance allows subtypes in output positions (function return types). Contravariance allows supertypes in input positions (function parameters). This ensures type safety in function assignments and prevents runtime errors.