En la declaración de subtipos.