Brian Sniffen writes:
[[send to me as a private message, probably by mistake]]
> Or, if you really want to use emptyBT for some reason, with
> depth x | x == emptyBT = 0
>> --
> Brian T. Sniffen
OK, but then it is necessary to define the Eq instance for the trees
Jerzy Karczmarczuk