ancientor v (SNode val _ SNil SNil)
    | v <= val       = Nothing
    | otherwise      = Just val
ancientor v (SNode val _ SNil SNil)
    | v <= val       = Nothing
    | otherwise      = Just val
ancientor v (SNode val _ SNil SNil)
    | v <= val       = Nothing
    | otherwise      = Just val