I'd do ```option.option-value := as(<deque>, option.option-default | #[])``` here, but either way.