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