module type T : sig ... end
module Bare_sexp : T with type output = Sexplib.Type.t
module Annotated_sexp : T with type output = Annot.t