тс делает многие вещи внутри себя, например проверяешь что поле есть в объекте в ифе, и теперь внутри then тебе доступно это поле
а вот делаешь завтипы, и теперь это знание о поле становится первоклассным, теперь нужно делать пруф что поле есть, а потом этот пруф передавать, индуцировать по нему