ghc-mod 5.0.1.1