notaciones explícitas de tipos y requiere de esto en algunas situaciones.