This latching and piping seems intuitive if you have done some monadic programming in Haskell.