data InfBT a = Join a (InfBT a) (InfBT a)



fmyInfBT n = Join n (fmyInfBT (2*n) ) (fmyInfBT ((2*n)+1)) 



myInfBT:: (InfBT Int)

myInfBT = fmyInfBT 1