1 2 3 4 5 6 7 8 9
data FingerTree a = Empty | Single a | Deep (Digit a) (FingerTree (Node a)) (Digit a) data Node a = Node2 a a | Node3 a a a