Eu sei que Java implementa polimorfismo paramétrico (genéricos) com apagamento. Eu entendo o que é apagamento.

Eu sei que o C # implementa polimorfismo paramétrico com reificação. Eu sei que isso pode fazer você escrever

public void dosomething(List<String> input) {}
public void dosomething(List<Int> input) {}

ou que você pode saber em tempo de execução qual é o parâmetro type de algum tipo parametrizado, mas não entendo qualé.

O que é um tipo reificado?O que é um valor reificado?O que acontece quando um tipo / valor é reificado?