use default_type_params