let cdr (l : 'a list) : 'a list = match l with (_::ls) -> ls
                                            |-> failwith "no more element"