interface ref Equatable[A: Equatable[A] #read]
fun box eq( that: box->A) : Bool val
fun box ne( that: box->A) : Bool val