Union and intersection types to support both dynamic and static typing | Publicación