type 'a tree =
	| Leaf of 'a
	| Branch of ('a * 'a) tree

let rec treeMap f tree =
	match tree with
	| Leaf (x,y) -> Leaf (f x, f y)
	|