અહીં અમે કમ્પાઇલર કે પ્રકાર ટી મનસ્વી હોઈ શકે છે કહી શકે છે અને વી પ્રકાર ક્યાં ટી પ્રકાર અથવા તેના પેટા વર્ગને એક હોવા જોઈએ.