data Tree a b = Leaf b | Node a (Tree a b) (Tree a b)

flip:: Tree a b -> Tree a b
flip (Leaf b) = Leaf b
flip (Node a l r) = Node a r l