sig
  module type S =
    sig
      type stringable
      val of_string : string -> stringable
      val to_string : stringable -> string
    end
end