streeVal :: STree a -> a
streeVal SNil                 = error "empty tree"
streeVal :: STree a -> a
streeVal SNil                 = error "empty tree"
streeVal SNil                 = error "empty tree"