Con la siguiente sentencia, se dice que S es un tipo derivado