АВ
Под статическим подмножеством я подразумеваю, когда во время компиляции известны все входные данные, от которых могут зависеть типы, что позволяет вычислить все типы во время компиляции.
Size: a a a
АВ
BB
Т8
i
Т8
i
i
АВ
i
KK
i
KK
KK
Т8
KK
АВ
i
АВ
i
Т8