Interface TypeEffectiveStatement<T extends TypeStatement>