Para lo que hay una forma más abreviada si no deseamos definir el subtipo con nombre, se puede hacer anónimamente: