¿Qué son los tipados?