Как определить, реализует ли тип определенный универсальный тип интерфейса

Вам нужно пройти вверх по c-sharp дереву наследования и найти .net-framework все интерфейсы для каждого dot-net класса в дереве и сравнить reflect typeof(IBar<>) с результатом вызова Type.GetGenericTypeDefinition , если интерфейс c#-language является универсальным. Конечно, это c# все немного болезненно.

См. this answer и c-sharp these ones для получения дополнительной visual-c# информации и кода.