Update for new ghc-mod and Yi API