use ghc-srcspan-plugin