A: class <T> {

}

B: class extends A<Int> {
    a: T
}