Janitorial duties.
Handholding scala through the challenges of contravariance.
Drop unnecessary constraint.