> There's a standard trick for representing trees with the 2-3-4 invariant using non-regular data types:

It should be noted that this puts a Theta(lg n) singly-linked list of Succ nodes at the top of the tree, thus doubling the effective height of the tree.