如何理解categories库PFunctor中p r->t与p t->r的函数依赖

先明确：PFunctor p r t | p r -> t, p t -> r里的p r -> t和p t -> r是Haskell类型类的函数依赖（Functional Dependency），核心作用是约束类型参数的唯一性：

函数依赖的含义 #

• p r -> t：只要确定了双函子构造器p和第一个参数的范畴类型r，那么第二个参数的范畴类型t就被唯一确定，不能有第二种可能。
• p t -> r：反过来，确定p和t时，r也必须是唯一的。

关于二元组构造器的例子解释 #

当p=(,)（二元组类型构造器）、r=(->)（函数范畴）、t=(->)时，p r是((->),)——这是一个只绑定了第一个参数的部分应用构造器。这里的函数依赖生效的原因是：PFunctor是定义在范畴间的双函子，对于二元组这种双函子，它要求两个参数必须属于同一个范畴（因为双函子需要在两个范畴之间保持态射的映射规则）。所以给定(,)和第一个范畴r=(->)，第二个范畴t只能是(->)，不存在其他合法的选择——这就是p r -> t要表达的“唯一性约束”。

违反约束时的编译错误场景 #

GHC会在以下情况抛出错误：

• 实例冲突：试图为同一组p和r定义不同t的PFunctor实例，比如同时定义instance PFunctor (,) (->) (->)和instance PFunctor (,) (->) Maybe，这直接违反p r -> t的唯一性要求。
• 反向实例冲突：同一组p和t对应不同r的实例，比如instance PFunctor (,) (->) (->)和instance PFunctor (,) IO (->)，违反p t -> r的约束。
• 类型歧义：使用PFunctor相关函数时，GHC无法通过上下文推导出唯一的t或r。比如写了一个通用函数，但代码里没有足够的类型注解或上下文信息让编译器确定t的具体类型，这时候会报“类型变量歧义”的错误。

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