En esta lección veremos los tipos discriminatorios, que nos permiten modelar un conjunto de interfaces en base a un type literal común. Este mecanismo es muy potente y aporta mucha semántica a nuestro código. También veremos los tipos de intersección, que permiten hacer composición de tipos.