Haskell：foldr vs foldr1

如果我有这个插入功能：

insert x []     = [x]
insert x (h:t)
  | x <= h      = x:(h:t)
  | otherwise   = h:(insert x t)

这会产生一个 排序 列表：

foldr insert [] [1,19,-2,7,43]

但是这个：

foldr1 insert [1,19,-2,7,43]

产生’不能构造无限类型：a0 = [a0]’

我很困惑为什么第二个电话不起作用.

我已经查看了 foldr 和 foldr1 的定义,并且已经用简单的算术函数进行了跟踪,但我仍然无法清楚地解释为什么第二次调用失败.

我们来看一些类型的签名.

foldr  :: (a -> b -> b) -> b -> [a] -> b
foldr1 :: (a -> a -> a) ->      [a] -> a

在这两种情况下,第一个参数是两个参数的函数.

>对于foldr1,这两个参数必须具有相同的类型(结果也具有此类型)

>对于foldr,这两个参数可能有不同的类型(结果与第二个参数的类型相同)

你的插入物的类型是什么？