重载签名与单态限制冲突：已指定类型为何仍触发该问题？

首先看能正常编译的代码：

i :: Num a => a
i = 1

这是单个变量的简单绑定：直接将表达式赋值给变量，且显式提供了多态类型签名。单态限制对这种场景不生效——规则允许显式多态签名的简单绑定保留多态性。

而所有报错的代码都属于模式绑定（非简单绑定组），比如：

i' :: Num a => a
Just i' = Just 1  -- 模式匹配绑定

x, y :: Num a => a
(x, y) = (1, 2)  -- 元组模式绑定

哪怕给每个变量都写了多态签名，单态限制仍会触发，核心原因在于单态限制的规则：

• 对于非简单绑定组（模式匹配、多变量同时绑定等场景），GHC会强制将绑定组内的变量推断为单态类型（比如具体的Integer或Double），而非你指定的多态类型。
• 这种强制单态化的行为，和显式声明的Num a => a多态签名直接冲突，因此抛出“Overloaded signature conflicts with monomorphism restriction”错误。

不管是分开写变量签名、调换签名顺序，还是混合单态/多态变量的绑定组，只要是通过模式绑定定义变量，单态限制就会强制单态化，和是否写了签名无关。

开启{-# LANGUAGE NoMonomorphismRestriction #-}后，GHC会取消对非简单绑定组的强制单态化要求，尊重你提供的多态签名，或者自动推断多态类型，因此代码可以正常编译。

内容的提问来源于stack exchange，提问作者Futarimiti