Define FingerTree.++