What is the difference between covariance and contravariance in TypeScript function parameter typing?

A TypeScript enforces strict contravariance for all function parameters by default B By default (without strictFunctionTypes for method syntax), function parameters are checked bivariantly, while strictFunctionTypes enforces contravariant checking for function-typed variables C Covariance and contravariance only apply to return types, never parameters D TypeScript does not support either concept