Re: ghc-7.4.2 and other updates/news