 obtenido borrando el valor v del ABB a. Por
-- ejemplo,
--    λ> (ejemploABB 1)
--     (5 (2 - (4 (3 - -) -)) (6 - (8 - (9 - -))))
--    λ> elimina 3 (ejemploABB 1)
--     (5 (2 - (4 - -)) (6 - (8 - (9 - -))))
--    λ> elimina 2 (ejemploABB 1)
--     (5 (4 (3 - -) -) (6 - (8 - (9 - -))))
--    λ> elimina 5 (ejemploABB 1)
--     (6 (2 - (4 (3 - -) -)) (8 - (9 - -)))
--    λ> elimina 7 (ejemploABB 1)
--     (5 (2 - (4 (3 - -) -)) (6 - (8 - (9 - -))))
elimina  :: (Ord a, Show a) => a -> ABB a -> ABB a
elimina _  Vacio = Vacio
elimina v' (Nodo v i Vacio) | 
elimina  :: (Ord a, Show a) => a -> ABB a -> ABB a
elimina _  Vacio = Vacio
elimina _  Vacio = Vacio