list - 在空列表上的foldMap时Haskell模糊类型变量编译器错误

我正在尝试编写一个使嵌套列表扁平化的函数。
编码:

data NestedList a = Elem a | List [NestedList a]

flatten :: NestedList a -> [a]
flatten (Elem e) = [e]
flatten (List l) = foldMap flatten l

main = do
    let c0 = List []
    print $ flatten c0

当我尝试从main提供空列表时，出现编译器错误:

Ambiguous type variable ‘a0’ arising from a use of ‘print’
  prevents the constraint ‘(Show a0)’ from being solved.
  Probable fix: use a type annotation to specify what ‘a0’ should be.

我想知道是什么原因导致此错误，以及如何解决它。
非常感谢您的帮助!

最佳答案

调用print :: (Show a) => a -> IO ()时，需要以某种方式解决对Show a的约束。在您的情况下，c0的类型被推断为NestedList a，这当然不足以解决Show [a]的print $ flatten c0约束的信息。
您可以通过在c0的绑定(bind)中添加类型签名以使其单态来解决此问题。

关于list - 在空列表上的foldMap时Haskell模糊类型变量编译器错误，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/63865567/