update ghc patch for customized desugaring