definimos map(), AGREGAR Type y type_of, ejemplo en ejemplos.sc