¿Cómo funcionan los Type Annotations?