(PUP-2794) Add note about contravariance