error(type_error(list), 12)