Fixes for build with GHC 9.10

hypertypes.cabal

@@ -1,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.35.2.
+-- This file has been generated from package.yaml by hpack version 0.37.0.
 --
 -- see: https://github.com/sol/hpack
 
 name:           hypertypes
-version:        0.2.2
+version:        0.2.3
 synopsis:       Typed ASTs
 description:    Please see the README on GitHub at <https://github.com/lamdu/hypertypes#readme>
 category:       Algorithms, Compilers/Interpreters, Language, Logic, Unification

package.yaml

@@ -1,5 +1,5 @@
 name: hypertypes
-version: 0.2.2
+version: 0.2.3
 github: "lamdu/hypertypes"
 license: BSD3
 author: "Yair Chuchem"

stack.yaml

@@ -1,3 +1,3 @@
-resolver: lts-21.4
+resolver: lts-22.33
 packages:
 - .

test/Hyper/Syntax/NamelessScope.hs

@@ -96,6 +96,7 @@ instance HasTypeOf1 t => HasInferOf1 (Scope t) where
 
 instance
     ( Infer1 m t
+    , Monad m
     , InferOf1IndexConstraint t ~ DeBruijnIndex
     , DeBruijnIndex h
     , UnifyGen m (TypeOf (t h))
@@ -123,6 +124,7 @@ instance
 
 instance
     ( MonadReader env m
+    , Monad m
     , HasScopeTypes (UVarOf m) (TypeOf (t h)) env
     , DeBruijnIndex h
     , UnifyGen m (TypeOf (t h))

test/LangATest.hs

@@ -4,7 +4,6 @@ module LangATest (test) where
 
 import qualified Control.Lens as Lens
 import Control.Lens.Operators
-import Control.Monad.RWS
 import Control.Monad.ST (runST)
 import ExprUtils
 import Hyper

test/LangB.hs

@@ -7,6 +7,7 @@ module LangB where
 
 import TypeLang
 
+import Control.Monad (void)
 import Control.Applicative
 import qualified Control.Lens as Lens
 import Control.Lens.Operators

test/TypeLang.hs

@@ -11,7 +11,6 @@ import Control.Applicative
 import Control.Lens (ALens')
 import qualified Control.Lens as Lens
 import Control.Lens.Operators
-import Control.Monad.Except
 import Control.Monad.Reader (MonadReader)
 import Control.Monad.ST.Class (MonadST (..))
 import Data.STRef