@@ -68,7 +68,7 @@ bindTypes newNames action = do
69-- Temporarily bind a collection of names to types
69-- Temporarily bind a collection of names to types
71−withScopedTypeVars :: (Functor m, MonadState CheckState m, MonadWriter MultipleErrors m) => ModuleName -> [(String, Kind)] -> m a -> m a
71+withScopedTypeVars :: (Functor m, Applicative m, MonadState CheckState m, MonadWriter MultipleErrors m) => ModuleName -> [(String, Kind)] -> m a -> m a
72withScopedTypeVars mn ks ma = do
72withScopedTypeVars mn ks ma = do
73 orig <- get
73 orig <- get
74 for_ ks $ \(name, _) ->
74 for_ ks $ \(name, _) ->