检查GHCi中的类型给出了奇怪的输出，为什么？

Question

在GHCi中运行以下命令：

:t 1:2

我得到了输出：

(Num [a], Num a) => [a]

同时，运行以下内容：

:t 'a':'b'

给我一​​个错误。

就个人而言，我认为它应该是类型错误，但如果Num不是这样的话。谁能解释一下这里发生了什么？

我的意思是，当然它不应该有效，但 检查Num案例中的 类型会产生结果Char的情况会出错。