Másféle egyenlőségvizsgáló elemeket is definiálhatunk, volt már ilyen a nemnegatív egészekre, és az általános egészekre is.

 

Most nézzük meg, hogy nézne ki a lentebb írt bináris fák összehasonlítása.

 

{treeEqual}{callback}xy =

({and}({emptree}x)({emptree}y)){true}
 ({or}({emptree}x)({emptree}y)){false}

  ({and}({callback}({value}x)({value}y))

   {and}({treeEqual}({left}x)({left}y))

    ({treeEqual}({right}x)({right}y))

 )))

 

Itt a nemtriviális rész az, hogy az egyes elemek összehasonlítása egy callback-függvénnyel történik.