error(type_error(list), [pair | not_a_list])