Sirvan como ejemplos las siguientes definiciones de tipos: