結果 : typescript infer some type parameters