diff --git a/AsyncRattus.cabal b/AsyncRattus.cabal
--- a/AsyncRattus.cabal
+++ b/AsyncRattus.cabal
@@ -1,6 +1,6 @@
 cabal-version:       1.18
 name:                AsyncRattus
-version:             0.1
+version:             0.1.0.1
 category:            FRP
 synopsis:            An asynchronous modal FRP language
 description:
@@ -159,7 +159,7 @@
                        AsyncRattus.Plugin.PrimExpr
   build-depends:       base >=4.16 && <5,
                        containers >= 0.6.5 && < 0.8,
-                       ghc >= 9.2 && < 9.7,
+                       ghc >= 9.2 && < 9.9,
                        hashtables >= 1.3.1 && < 1.4,
                        simple-affine-space >= 0.2.1 && < 0.3,
                        transformers >= 0.5.6 && < 0.7
diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.1.0.1
+
+Compatibility with GHC 9.8
+
 # 0.1
 
 First release.
diff --git a/docs/paper.pdf b/docs/paper.pdf
Binary files a/docs/paper.pdf and b/docs/paper.pdf differ
diff --git a/src/AsyncRattus/Plugin/Dependency.hs b/src/AsyncRattus/Plugin/Dependency.hs
--- a/src/AsyncRattus/Plugin/Dependency.hs
+++ b/src/AsyncRattus/Plugin/Dependency.hs
@@ -382,8 +382,18 @@
   getFV (HsCmdWrap _ _ cmd) = getFV cmd
 #endif
   getFV (XCmd e) = getFV e
-  
 
+
+instance (HasFV a, HasFV b) => HasFV (Either a b) where
+  getFV (Left x) = getFV x
+  getFV (Right x) = getFV x
+
+#if __GLASGOW_HASKELL__ >= 908
+instance HasFV (LHsRecUpdFields GhcTc) where
+  getFV RegularRecUpdFields {recUpdFields = x} = getFV x
+  getFV OverloadedRecUpdFields {olRecUpdFields = x} = getFV x
+#endif
+
 instance HasFV (HsCmdTop GhcTc) where
   getFV (HsCmdTop _ cmd) = getFV cmd
 #if __GLASGOW_HASKELL__ < 900
@@ -412,12 +422,10 @@
   getFV HsProjection {} = Set.empty
   getFV HsGetField {gf_expr = e} = getFV e
   getFV (ExplicitList _ es) = getFV es
-  getFV (RecordUpd {rupd_expr = e, rupd_flds = fs}) =
-    getFV e `Set.union` either getFV getFV fs
 #else
   getFV (ExplicitList _ _ es) = getFV es
-  getFV (RecordUpd {rupd_expr = e, rupd_flds = fs}) = getFV e `Set.union` getFV fs
 #endif
+  getFV (RecordUpd {rupd_expr = e, rupd_flds = fs}) = getFV e `Set.union` getFV fs
   getFV (RecordCon {rcon_flds = fs}) = getFV fs
   getFV (ArithSeq _ _ e) = getFV e
 #if __GLASGOW_HASKELL__ >= 906
diff --git a/src/AsyncRattus/Plugin/ScopeCheck.hs b/src/AsyncRattus/Plugin/ScopeCheck.hs
--- a/src/AsyncRattus/Plugin/ScopeCheck.hs
+++ b/src/AsyncRattus/Plugin/ScopeCheck.hs
@@ -573,13 +573,12 @@
   check (HsMultiIf _ e) = check e
 #if __GLASGOW_HASKELL__ >= 902
   check (ExplicitList _ e) = check e
-  check RecordUpd { rupd_expr = e, rupd_flds = fs} = (&&) <$> check e <*> either check check fs
   check HsProjection {} = return True
   check HsGetField {gf_expr = e} = check e
 #else
   check (ExplicitList _ _ e) = check e
-  check RecordUpd { rupd_expr = e, rupd_flds = fs} = (&&) <$> check e <*> check fs
 #endif
+  check RecordUpd { rupd_expr = e, rupd_flds = fs} = (&&) <$> check e <*> check fs
   check RecordCon { rcon_flds = f} = check f
   check (ArithSeq _ _ e) = check e
 #if __GLASGOW_HASKELL__ >= 906
@@ -624,6 +623,18 @@
 impossible :: GetCtxt => TcM Bool
 impossible = printMessageCheck SevError "This syntax should never occur after typechecking"
 #endif
+
+instance (Scope a, Scope b) => Scope (Either a b) where
+  check (Left x) = check x
+  check (Right x) = check x
+
+
+#if __GLASGOW_HASKELL__ >= 908
+instance Scope (LHsRecUpdFields GhcTc) where
+  check RegularRecUpdFields {recUpdFields = x} = check x
+  check OverloadedRecUpdFields {olRecUpdFields = x} = check x
+#endif
+
 
 #if __GLASGOW_HASKELL__ >= 900
 instance Scope XXExprGhcTc where
diff --git a/src/AsyncRattus/Plugin/StableSolver.hs b/src/AsyncRattus/Plugin/StableSolver.hs
--- a/src/AsyncRattus/Plugin/StableSolver.hs
+++ b/src/AsyncRattus/Plugin/StableSolver.hs
@@ -82,11 +82,16 @@
     Just evs -> return $ TcPluginOk evs []
     Nothing -> return $ TcPluginOk [] []
 
-  where filterCt ct@(CDictCan {cc_class = cl, cc_tyargs = [ty]})
+  where
+#if __GLASGOW_HASKELL__ >= 908
+        filterCt ct@(CDictCan (DictCt {di_cls = cl, di_tys = [ty]}))
+#else
+        filterCt ct@(CDictCan {cc_class = cl, cc_tyargs = [ty]})
+#endif
           = case getNameModule cl of
-              Just (name,mod)
-                | isRattModule mod && name == "Stable" -> [(ty,(ct,cl))]
-              _ -> []
+                Just (name,mod)
+                  | isRattModule mod && name == "Stable" -> [(ty,(ct,cl))]
+                _ -> []
         filterCt _ = []
         filterTypeVar ty = case getTyVar_maybe ty of
           Just v -> [v]
diff --git a/src/AsyncRattus/Plugin/Utils.hs b/src/AsyncRattus/Plugin/Utils.hs
--- a/src/AsyncRattus/Plugin/Utils.hs
+++ b/src/AsyncRattus/Plugin/Utils.hs
@@ -33,6 +33,11 @@
   getAlt,
   splitForAllTys')
   where
+
+#if __GLASGOW_HASKELL__ >= 908
+import GHC.Types.Error (ResolvedDiagnosticReason (..))
+#endif
+
 #if __GLASGOW_HASKELL__ >= 906
 import GHC.Builtin.Types.Prim
 import GHC.Tc.Utils.TcType
@@ -105,7 +110,11 @@
 #endif
 
 printMessage sev loc doc = do
-#if __GLASGOW_HASKELL__ >= 906
+#if __GLASGOW_HASKELL__ >= 908
+  logger <- getLogger
+  liftIO $ putLogMsg logger (logFlags logger)
+    (MCDiagnostic sev (if sev == SevError then ResolvedDiagnosticReason ErrorWithoutFlag else ResolvedDiagnosticReason WarningWithoutFlag) Nothing) loc doc
+#elif __GLASGOW_HASKELL__ >= 906
   logger <- getLogger
   liftIO $ putLogMsg logger (logFlags logger)
     (MCDiagnostic sev (if sev == SevError then ErrorWithoutFlag else WarningWithoutFlag) Nothing) loc doc