Fixed TracedMonad.SelectMany implementation