Resp_client
module type S = sig ... end
module type CLIENT = sig ... end
module Make (Client : CLIENT) (S : Resp.S with type Reader.ic = Client.ic and type Writer.oc = Client.oc) : S with module Reader = S.Reader and module Writer = S.Writer and type t = Client.ic * Client.oc and type params = Client.params