error(type_error(list), b)