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