值限制 - 已推断值具有泛型类型

问：

给出以下定义

let fn (id: int) (_:string) = id

我可以创建部分应用的函数

let fnPartial = fn 1

但是，将类型更改为非密封类型，例如_IEnumerable

let fn (id: int) (_:IEnumerable) = id

导致编译错误

值限制。据推断，值“fnPartial”具有 泛型类型 val fnPartial ： （'_a -> int） when '_a ：> IEnumerable 使“fnPartial”的参数显式化，或者，如果您不打算 要使它成为泛型，请添加类型注释。（使用内置 F# 编译器）

引发了一个错误，但关闭了以下响应

是的，这是设计使然 - IEnumerable 未在字符串所在的地方密封，并且 这会导致触发值限制

解决方法是添加类型注释

let fn (id: int) (_:IEnumerable ) = id
let fnPartial<'a> = fn 1

有人可以解释一下吗

1. 问题的症结是什么
2. 添加类型批注如何解决该问题