Eliminate value_type