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