error(type_error(list), [a | b])