Теперь мои вопросы, как бы вы хотели это сделать? Может помочь объяснение вашей проблемной области? Ответ зависит от ситуации.Когда вы говорите, что существует связь между двумя типами, которые, в свою очередь, являются специализированными версиями другого типа, я бы сделал вывод, что эти типы существуют по определенной причине.Почему производный тип A должен знать о публичных контрактах производного типа B и наоборот?Но опять же, мне нужно объяснение вашей проблемной области, чтобы я пришел к выводу.