match some #[1, 2] with
| some #[x, y] => x
| x => 0 : Nat