内容很大部分来自 https://haskell.love/richard-eisenberg/ 这一视频，奇怪的知识增加了。

引入

1
2

const :: a -> b -> a
const x y = x

const 函数接收几个参数呢？是 a 类型的 x 与 b 类型的 y —— 两个吗？

为了便捷，GHC 默认会省略掉 rank 1 的 quantifier。我们可以打开语言扩展
ExplicitForAll 并在 GHCi中开启参数 -fprint-explicit-foralls，以便在代码中可以显式书写量词，以及使得在 GHCi 使用 :t 时会同时打印出量词。当然，有了 UnicodeSyntax 语言扩展，∀ 也能被 parse。所以我们可以改写一下新的 const：

1
2

const :: ∀ a b . a -> b -> a
const x y = x

这样就清晰多了 —— const 接收四个参数：类型变量 a 和 b，以及 x 和 y。有的同志（用过 exteff 相关库）可能知道一个叫 TypeApplications 的扩展，开启它之后类型变量也能显式指定，例如 const @Int @String 233 "QAQ"。这样以来我们可以更加确信 const 有四个参数。

再来看一个相似的例子：

1
2

shout :: ∀ a . Show a => a -> String
shout x = map toUpper (show x) ++ "!"

shout 接收三个参数：类型变量 a、类型类实例 Show a 以及 x。类型类实例有点像隐式转换，编译器会在上下文中去找这个东西，使得函数体中能够正确调用类型类约定的函数。值得注意的是和类型变量不同，类型类实例只能靠编译器推断，不能手动传进去。

原文：
Gabriel Gonzalez, Sunday, December 30, 2012, Haskell for all
入门级文章 可能算不上

续体单子是最不受欢迎的单子之一，在这篇文章中我希望能够鼓励大家去使用它。文章会从续体的整体概念和作为单子具有的特性来展开。

原文：
nubis, 16 Mar 2013, School of Haskell

序言

在我开始学 haskell 时有些不知所措。最初我把它用于一个实际的工作项目，然后我发现几乎所有的库都使用了仅在 GHC 可用的语言扩展。这让我开始有点失望，毕竟，谁想使用一种如此贫瘠的语言，以至于你需要依靠一个编译器的扩展才能实际去应用它，对吧？

好吧，我振作起来，决定学习所有这些扩展。我发现 Haskell 社区有三个热门话题，它们都在说有关 GADT、类型家族和依赖函数类似的问题。于是我试着查找资料去了解它们，但我只能找到描述它们是什么、如何使用的文章，没有一篇真正地解释为什么我们是怎么需要它们的！因此，我决定用一个友好的例子来写这篇教程，解释我们为什么需要类型家族。