or just learn Haskell and realise that this whole concept is just monadic bind, written simply as >>=