For when you want the sexp representation of one type to be the same as that for some other isomorphic type.
M : sig ... end
Sexpable : S
type t
include sig ... end
val t_of_sexp : Sexp.t ‑> t
val sexp_of_t : t ‑> Sexp.t