ready to solve covaraint type T occurs in  cotravarint position in type T of value t