More comments.
Extend with new rule regarding covered vs uncovered type parameters.