sig
  type 'a poly
  val instantiate : 'Type.t -> 'Type.POLYMORPHIC.poly Type.t
  val is_instance_of : 'Type.t -> bool
  val get_instance : 'Type.POLYMORPHIC.poly Type.t -> 'Type.t
end