let aaa a = match a with [] -> a | x :: y -> x