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