If you find Filter.Fix.T still inconvenient, and if you don't care about portability, you can also use the following monad with the mdo notation.
mdo v <- a (u + d w) w <- b (v + e y) y <- c w