Типовой типов условного типа

SomeType extends OtherType ? TrueType : FalseType;
MitchAloha