let t_of_sexp sexp =
    match sexp with
    | Sexp.Atom s -> M.of_string s
    | Sexp.List _ -> Conv.of_sexp_error "t_of_sexp" sexp