template bool binary_search(list& a, C val) { typename list ::iterator it; typename list ::iterator it2;