functor (S1 : Sexpable.S) ->
  functor (S2 : Sexpable.S) ->
    sig
      val t_of_sexp : Sexplib.Sexp.t -> Make(S1)(S2).t
      val sexp_of_t : Make(S1)(S2).t -> Sexplib.Sexp.t
    end