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