A T with numbered nodes is not very comfortable. Better provide a Control.Monad.Fix.fix-like function which allows to enter a graph this way:
fix $ \[v,w,y] -> [a (u + d w), b (v + e y), c w]