Covariance and contravariance in generic types,Static typing is awesome. It helps to detect bugs, acts as in-code documentation and makes development more enjoyable. Recently I've ...