Generic constraints: Declaration-site covariance

Model reusable APIs without losing type safety.