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