函数依赖项在Haskell Collection API的“unfotable”类型类中的作用

我想了解Haskell图书馆的设计，它来自Scala文化背景

它使用（有一个）但是它们的使用方式对我来说没有意义。在下面复制的

可展开的
类中，元素类型
i
显示为由集合类型
c
确定

具有不可观测元素的集合类。它是可折叠的
类的对偶

请解释依赖项
c->i
在这里扮演的角色和设计意图，最好是使用示例？
该功能依赖项表示的约束是，给定集合类型
c
，其项的类型
i
已经确定。例如，如果
c~[a]
，即集合是
a
s的列表，那么我们应该能够确定
i~a

如果没有这种功能依赖性，我们可能会有两个实例，例如
unfotable[a]a
（明显的/预期的实例）和
unfotable[a][a]
（类似于
insert=concat
，
singleton=id
）。如果typechecker随后看到类似于
empty:：[a]
，它将无法选择要使用的实例：

{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}

class Unfoldable c i where
    empty :: c

instance Unfoldable [a] a where
    empty = []

instance Unfoldable [a] [a] where
    empty = []

xs :: [a]
xs = empty

这导致：

No instance for (Unfoldable [a] i0) arising from a use of `empty'
The type variable `i0' is ambiguous
Relevant bindings include
  xs :: [a]
Note: there are several potential instances:
  instance Unfoldable [a] a
  instance Unfoldable [a] [a]
In the expression: empty
In an equation for `xs': xs = empty

No instance for (Unfoldable [a] i0) arising from a use of `empty'
The type variable `i0' is ambiguous
Relevant bindings include
  xs :: [a]
Note: there are several potential instances:
  instance Unfoldable [a] a
  instance Unfoldable [a] [a]
In the expression: empty
In an equation for `xs': xs = empty