Variance in Generic Interfaces

Implement covariance and contravariance to increase flexibility in type casting.