Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  prove that the subtyping problem induced by Mitchell's containment relation (1988) for second-order polymorphic types is undecidable. It follows that type-checking is undecidable for the polymorphic lambda-calculus extended by an appropriate subsumption rule.
['Jerzy Tiuryn', 'Pawel Urzyczyn']
I am writing a research paper on a idea The subtyping problem for second-order types is undecidable
[{"from": "human", "value": "I am writing a research paper on a idea The subtyping problem for second-order types is undecidable"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  prove that the subtyping problem induced by Mitchell's containment relation (1988) for second-order polymorphic types is undecidable. It follows that type-checking is undecidable for the polymorphic lambda-calculus extended by an appropriate subsumption rule."}]