optimize the binding of type variable to constant time