An immutable "head" value. Two immutable AVL "left" and "right" subtrees. Since this is an AVL tree, the depth of these subtrees must differ by at most 1. As an optimization, to permit quick ...