@@ -136,7 +136,7 @@ data CheckState = CheckState {
136-- The type checking monad, which provides the state of the type checker, and error reporting capabilities
136-- The type checking monad, which provides the state of the type checker, and error reporting capabilities
138newtype Check a = Check { unCheck :: StateT CheckState (Either ErrorStack) a }
138newtype Check a = Check { unCheck :: StateT CheckState (Either ErrorStack) a }
139− deriving (Functor, Monad, Applicative, MonadPlus, MonadState CheckState, MonadError ErrorStack)
139+ deriving (Functor, Monad, Applicative, Alternative, MonadPlus, MonadState CheckState, MonadError ErrorStack)
142-- Get the current @Environment@
142-- Get the current @Environment@