如何判断类型变量是否为歧义类型？Haskell类型族类型签名疑问

先明确核心判断规则：一个类型变量是歧义的，当且仅当无法通过函数的输入类型或上下文约束唯一确定它的具体类型。

以下逐个分析给定的三个类型签名：

1. AlwaysUnit a -> a #

这个签名里的a没有歧义。
调用该函数时，返回值的类型a必须由调用上下文明确指定（比如写f () :: Bool，就确定了a是Bool）。虽然输入类型AlwaysUnit a恒等于()，无法反向推导a，但返回值的类型需求会强制锁定a的具体类型。

至于无法实现这个函数：因为不管输入是什么（都是()），需要返回任意类型a的合法值。而Haskell中除了undefined这类bottom值，没有办法构造任意类型的有效值——不是所有类型都有默认构造器，所以这个类型的函数只能用不合法的bottom实现。

2. b -> AlwaysUnit a -> b #

这个签名里的a也没有歧义（编译器可通过多态特性忽略它）。
函数逻辑仅需返回第一个参数，完全不依赖a的具体类型。实现时可以写成f x _ = x，这个实现的多态类型forall b. b -> c -> b可以匹配原签名——c会被实例化为AlwaysUnit a，而a可以是任意类型，但因为函数不使用a，编译器不需要确定它的具体值，因此不会触发歧义错误。

3. Show a => AlwaysUnit a -> String #

这个签名里的a是歧义类型变量。
输入类型AlwaysUnit a恒等于()，无法从输入推导a；同时Show a约束也无法确定a——不同类型（比如Int、String）都有Show实例，但调用f ()时，编译器不知道该选用哪个Show实例生成字符串，因此a的类型无法唯一确定，属于歧义。

如何检查类型变量是否歧义？ #

可以通过以下步骤判断：

• 第一步：看类型变量是否出现在函数的参数类型中，且参数类型能唯一映射到该变量（比如参数是[a]，就能确定a是列表的元素类型）。
• 第二步：如果变量只出现在约束或返回值类型中，检查约束是否能通过其他变量唯一确定它（比如MonadReader r m => ...中，若m确定，r可能通过功能依赖确定）。
• 第三步：如果以上都不满足，调用该函数时编译器无法确定变量的具体类型，那这个变量就是歧义的。

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