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