Transformador de Monad para buscas em grafos ponderados
