Las definiciones de tipo que usan construcción implícita pueden tener solo una especificación 'inherit' y debe ser la primera ...