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

t_splay :: Splay Int
t_splay = i
  where
    a = Node Leaf 5 Leaf
    b = Node Leaf 4 a
    c = Node Leaf 3 b
    d = Node Leaf 2 c
    e = Node d    6 Leaf
    f = Node Leaf 1 e
    g = Node f    7 Leaf
    h = Node g    8 Leaf
    i = Node h    9 Leaf
t_splay :: Splay Int
t_splay = i
  where
    a = Node Leaf 5 Leaf
    b = Node Leaf 4 a
    c = Node Leaf 3 b
    d = Node Leaf 2 c
    e = Node d    6 Leaf
    f = Node Leaf 1 e
    g = Node f    7 Leaf
    h = Node g    8 Leaf
    i = Node h    9 Leaf
t_splay = i
  where
    a = Node Leaf 5 Leaf
    b = Node Leaf 4 a
    c = Node Leaf 3 b
    d = Node Leaf 2 c
    e = Node d    6 Leaf
    f = Node Leaf 1 e
    g = Node f    7 Leaf
    h = Node g    8 Leaf
    i = Node h    9 Leaf