Anidamiento de tipos estructurados.