Re: Module import and use in GHC plugin?