Wells's result implies that type inference for System F is impossible.
Wells的结果暗含着系统F的类型推论是不可能的。