Fix variance variance and forall naming

base-env.lua

@@ -836,11 +836,16 @@ local function forall_impl(syntax, env)
 	---@cast env Environment
 	--print("moving on to return type")
 
-	local shadowed
+	local shadowed, inner_name
 	shadowed, env = env:enter_block(terms.block_purity.pure)
 	-- tail.start_anchor can be nil so we fall back to the start_anchor for this forall type if needed
 	-- TODO: use correct name in lambda parameter instead of adding an extra let
-	local inner_name = "forall(" .. table.concat(params_names, ", ") .. ")"
+	if params_single then
+		inner_name = "forall(" .. params_names .. ")"
+	else
+		inner_name = "forall(" .. table.concat(params_names, ", ") .. ")"
+	end
+
 	env = env:bind_local(
 		terms.binding.annotated_lambda(
 			inner_name,

evaluator.lua

@@ -1273,11 +1273,11 @@ add_comparer("value.variance_type", "value.variance_type", function(lctx, a, rct
 	local a_target = a:unwrap_variance_type()
 	local b_target = b:unwrap_variance_type()
 	typechecker_state:queue_subtype(
-		lctx,
-		a_target,
 		rctx,
 		b_target,
-		nestcause("variance target", cause, a_target, b_target)
+		lctx,
+		a_target,
+		nestcause("variance target", cause, b_target, a_target)
 	)
 	return true
 end)