VARIABLES T P

T := Int
P <: My<T?>