It seems like half the papers ever written about Haskell contain a solution to this problem... This includes most papers about monads and monad transformers.