Make1.Data
type ('s, 'a) t
val sexp_of_t : ('s -> Sexplib0.Sexp.t) -> ('a -> Sexplib0.Sexp.t) -> ('s, 'a) t -> Sexplib0.Sexp.t