我想知道 SML 中空列表的类型到底是什么（我正在使用 PolyML）？当我输入[]解释器时，我会得到：
val it = []: 'a list
这正是我所期望的。但是，如果我输入：
fun f a = if a = 0 then [] else [[]];
然后我得到：
val f = fn: int -> 'a list list
这似乎暗示也[]有这种类型'a list list。这到底是如何运作的？