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

t_zigzag_zig :: Splay Int
t_zigzag_zig = l
  where
    Node l _ _ = t_zigzag

-- Surprise: TD and BU is the same!
t_zigzag_zig :: Splay Int
t_zigzag_zig = l
  where
    Node l _ _ = t_zigzag

-- Surprise: TD and BU is the same!
t_zigzag_zig = l
  where
    Node l _ _ = t_zigzag

-- Surprise: TD and BU is the same!