Есть переменная var type1 = typeof(A), и переменная var type2 = typeof(B)? Как имея type1 и type2 определить, что B является наследником A с учетом того, что могут быть промежуточные классы? Можно рекурсивно с использованием BaseType. Есть другие способы?