INTERFACE A; TYPE T <: REFANY; END A.