sinsTree :: Ord a => a -> STree a -> STree a
sinsTree val SNil    = SNode val 1 SNil SNil
sinsTree :: Ord a => a -> STree a -> STree a
sinsTree val SNil    = SNode val 1 SNil SNil
sinsTree val SNil    = SNode val 1 SNil SNil