update ghc patch for customized typechecking