import Tree

mirror :: Tree a -> Tree a -> Bool
mirror Empty Empty = True
mirror a@(Branch _ a1 a2) b@(Branch _ b1 b2) = (mirror a1 b2) && (mirror a2 b1)
mirror _ _ = False

symmetric t = mirror t t