Constraint generic type should use contravariance, T is write only and is not invariant

This makes possible to create new constraints.