RE: Which of these commits to merge into ghc-7.10?