add ghc-plugin post