Se un tipo unione ha un membro con unione di varietà, questo deve essere sostituibile con i suoi propri membri. Un eventuale ...