INTERFACE A;

TYPE T <: ROOT;
TYPE U <: ROOT;

END A.