datatype ('a, 'b)BinTree = Lf of 'b | Nd of ('a, 'b)BinTree * 'a * ('a, 'b)BinTree