重载文字

整数文字

是一个没有小数点的数字

例如 0，1，42，…

隐式应用于 fromInteger ，它是 Num 类型的一部分，因此它确实具有类型 Num a => a - 即它可以具有任何类型的 Num 实例

分数文字

是带小数点的数字

例如 0.0，-0.1111，…

隐含地应用于 fromRational ，它是 Fractional 类型类的一部分，因此它确实具有类型 a => a - 即它可以具有任何类型的 Fractional 实例

字符串文字

如果你将语言扩展名 OverloadedStrings 添加到 *GHC，*你可以使用相同的 String-literals 然后从 Data.String.IsString 类型类应用于 fromString

这通常用于替换 String 与 Text 或 ByteString。

列出文字

列表可以使用 [1, 2, 3] 文字语法定义。在 GHC 7.8 及更高版本中，这也可用于定义具有 OverloadedLists 扩展名的其他类似列表的结构。

默认情况下，[] 的类型是：

> :t []
[] :: [t]

使用 OverloadedLists，这变为：

[] :: GHC.Exts.IsList l => l