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