Added missing overload of SelectMany to Writer monad.
Fixed suboptimal implementations of SelectMany across all monads.