Здравствуйте, vdimas, Вы писали:

Q>>Навскидку, есть такой класс:
Q>>

internal class GenericEqualityComparer<T>: EqualityComparer<T> where T: IEquatable<T>

V>Угу, у которого создание экземпляров происходит через рефлексию.
V>Офигенный пример обсуждаемого "параметрического полиморфизма".

Внутренний говнометод с рефлексией нужен только для создания дефолтного компарера. Никто не мешает объявить своего наследника от этого абстрактного класса и создавать его обычным образом. Пардон, перепутал — речь же о внутреннем классе. Таки да, его создать можно только рефлексией.