Specialize type variable