Últimamente he estado muy adentrado en la programación funcional con lenguajes como Typescript y en mucha menos medida con Haskell y más allá de las partícularidades de la programación funcional como Monadas , me ha llamado la atención conceptos relacionado con tipado, como los Union Types y las …