Динамическая зависимость сборки(или динамическое подключение типа)

[Пепел Феникса]

В общем есть класс A из сборки A и есть интерфейс I(генерик если важно) из сборки B.
я хочу чтоб в сборке А так же был тип C который реализует интерфейс I<A>.
Но при этом не хочу мертвой зависимости от сборки B, то есть хочу что если сборки B нету в домене, то тип C просто игнорировался как и его завимости от B.

пока нашел тока два выхода:
1)класс C вынести в сборку C и загружать динамически.(но мне не нравится таскать с собою лишнюю длл + ее надо будет явно грузить)
1а)Писать какой-то кэш для такого типа сборок и код который будет такие сборки грузить.(код будет в сборке B)
2)или генерировать класс C динамически если есть сборка B(что тоже как-то не хорошо помоему)

какие варианты есть такого извращения? или какой лучше?