Fully expand type variables in Tgenerics