a_zigzag_zig :: Splay Int
a_zigzag_zig = 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
    a = Node f    4 e
a_zigzag_zig :: Splay Int
a_zigzag_zig = 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
    a = Node f    4 e
a_zigzag_zig = 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
    a = Node f    4 e