let t = Node(5, Leaf, Leaf) : int tree
in
  case t of
	Leaf => (0,(Leaf, Leaf))
      | Node(x,l,r) => (x,(l,r))
  end
end : int * (int tree * int tree)
;