match [2; 3], [4; 5] with a::b as p, c::d as q -> a+c, List.append p q;;
match [2; 3], [4; 5] with (a::b as p), (c::d as q) -> a+c, List.append p q;;
(* Parentheses ncessary *)