functor (I : MARSHALLABLE->
  sig val load : string -> I.t val dump : string -> I.t -> unit end