結果 : does typescript have dependent types