@@ -68,7 +68,7 @@ bindTypes newNames action = do
6868-- |
6969-- Temporarily bind a collection of names to types
7070--
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
7272withScopedTypeVars mn ks ma = do
7373 orig <- get
7474 for_ ks $ \(name, _) ->