external t_of_sexp : t -> t = "%identity"