VARIABLES T P E

T <: P
P <: E
E <: Int