scalaz.Equal用于路径依赖类型

class A {
  class B 
}

val a1 = new A 
val b1 = new a1.B   // type a1.B

val a2 = new A 
val b2 = new a2.B   //type a2.B

我首先想在编译时使b1“无法”(这是一个单词吗？)到b2,我用以下方法实现了：

import scalaz._
import Scalaz._

implicit def BEqual[X <: A#B]: scalaz.Equal[X] = Equal.equalA

b1 === b1 //true
b1 === b2 // doesn't compile,good
b2 === b1 // doesn't compile,good

我的第二个实验是尝试使等式限制更少,允许A#B的实例相互比较,但不与其他类型进行比较,具有：

implicit val  BEqual: scalaz.Equal[A#B] = Equal.equalA

但它不能按预期工作：

b1 === b2 //doesnt' compile,=== is not a member of a1.B

但这有效：

BEqual.equal(b1,b2)  //compiles
BEqual.equal(b1,"string")   //doesnt' compile,good

所以,我想知道为什么===不起作用,如果我能编写一个适用于所有A#Bs的Equal实例？

我尝试了一种带有隐式转换的家庭酿造解决方案,它起作用

implicit class abEqual(ab: A#B) {
  def eqab(ab2: A#B) = ab == ab2
}

b1.eqab(b2)  //ok 
b2.eqab(b1)  //ok 
b1.eqab("String")  //doesn't compile,good

那么为什么这不适用于scalaz.Equal？