module type A = sig
  type contents
  val pp : contents -> string
end
module type X = sig
  type contents
  exception E of contents
end
module type B = sig
  type contents
  module type T
  module Mk : functor (X:X with type contents := contents) -> T
end
module F (A:A) (B:B with type contents := A.contents) () : B.T =
  B.Mk(struct
    exception E of A.contents
    let () = Printexc.register_printer (function
        | E c -> Some (A.pp c)
        | _ -> None)
  end)

(* usage *)
module EE = F (struct type contents = int let pp i = "hello " ^ string_of_int i end)
    (struct
      module type T = sig exception BadInt of int end
      module Mk(X:X with type contents := int) = struct exception BadInt = X.E end
    end)
    ()

let raise_badint i = raise (EE.BadInt i)

let () = raise_badint 0