Please find attached another small patch for the method `cl-generic-generalizers' in cl-lib.el. It ensures that the derived type is still present in the `cl--type-list', in order to signal an "unkonw specializer" error, if the type was removed from the list because it was in error. David