let singleton x = Node(Empty, x, Empty, 1)