----------------------------------------------------------------

t_zigzig :: Splay Int
t_zigzig = g
  where
    a = Node Leaf 1 Leaf
    b = Node a    2 Leaf
    c = Node b    3 Leaf
    d = Node c    4 Leaf
    e = Node d    5 Leaf
    f = Node e    6 Leaf
    g = Node f    7 Leaf
t_zigzig :: Splay Int
t_zigzig = g
  where
    a = Node Leaf 1 Leaf
    b = Node a    2 Leaf
    c = Node b    3 Leaf
    d = Node c    4 Leaf
    e = Node d    5 Leaf
    f = Node e    6 Leaf
    g = Node f    7 Leaf
t_zigzig = g
  where
    a = Node Leaf 1 Leaf
    b = Node a    2 Leaf
    c = Node b    3 Leaf
    d = Node c    4 Leaf
    e = Node d    5 Leaf
    f = Node e    6 Leaf
    g = Node f    7 Leaf