fold_map
Same as above but builds the sexp_of and of_sexp functions. Requires the passed in types to be sexpable.
sexp_of
of_sexp
Polymorphic fold take a