[TS] Correct trait construction with multiple supertraits