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