简短回答：1被解释为Sum a，因此文件夹的类型为：

foldr (mappend . Sum) 1 [2] :: Num a => Sum a

其中2具有类型a，并且1具有类型Sum a。

**Sum a**是Num的一个示例如果a是Num的一个示例，实际上，源代码是[src]：

newtype Sum a = Sum { getSum :: a }
        deriving ( Eq       -- ^ @since 2.01
                 , Ord      -- ^ @since 2.01
                 , Read     -- ^ @since 2.01
                 , Show     -- ^ @since 2.01
                 , Bounded  -- ^ @since 2.01
                 , Generic  -- ^ @since 4.7.0.0
                 , Generic1 -- ^ @since 4.7.0.0
                 , Num      -- ^ @since 4.7.0.0
                 )

这意味着如果你写一个整数字面值，比如1，它可以被构造为Sum a，对于任何a，它是Num的一个示例，所以1 :: Sum Integer是Sum 1。
因此，这意味着foldr中的1具有Sum a类型，因此例如：

mappend (Sum 2 :: Sum Integer) (1 :: Sum Integer)
-> Sum (2 + 1)
-> Sum 3

在Sum类型的文档中，您可以找到以下指示示例：

Num a => Num (Sum a)

（当然，它应该在那里是完全合理的--不仅Sum a与a "在道德上是相同的类型"，而且Sum显然被设计为几乎只与数字类型一起使用）。
因为Haskell中的数值型文字（如1）可以是Num类的任何类型的示例，所以mappend (Sum 2) 1中没有类型错误，因为编译器会自动将其有效地转换为mappend (Sum 2) (Sum 1)（因为在Sum a的Num示例中，fromInteger 1将是Sum 1）。