Module Ben.Marshal

module type MARSHALLABLE = sig ... end
module Make (I : MARSHALLABLE) : sig ... end