module type MY_SIG = sig
  type p
  include
    module type of Make(val (Obj.magic ()) : P with type t = )
      with type p := p
end