>>705
>>>701
>はい。無関係です。

言っとくが、ナンチャッテ型推論はともかく、まともなmilner式の型推論はNP完全だぞ?