過載文字

整數文字

是一個沒有小數點的數字

例如 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