Constrain type parameters before reification