Por refinarlo aun mas y no confundir, lo que no se puede obtener así por las buenas es el tipo del Generico, pero por supuesto que una vez tienes una instancia, de esa si puedes obtener el tipo que tiene. Eso lo aclaran aqui:
http://joe.truemesh.com/blog//000495.html
Es decir, si tienes un lista genérica del tipo A y tu puedes meter Bs por que B extiende a A, en ejecucion tu puedes averiguar que la instancia que has metido es del tipo B, obviamente, lo que no puedes saber es que la lista está restringida al tipo A.
S!