The in/out naming for covariance and contravariance is pure genius! It's much easier to learn and to determine which one to use compared to notations in other programming languages. It would be even better if out weren't already in use for something else, I agree.