Fix typed arguments #1643

Job	Run time
type-check	21s
spell-check	5s
lint	17s
end-to-end-test (ubuntu-20.04, local)	26s
unit-test (ubuntu-20.04, 3.8)	38s
end-to-end-test (ubuntu-20.04, ssh)	1m 20s
unit-test (ubuntu-20.04, 3.9)	39s
end-to-end-test (ubuntu-20.04, docker)	27s
unit-test (ubuntu-20.04, 3.10)	40s
end-to-end-test (ubuntu-latest, local)	25s
unit-test (ubuntu-20.04, 3.11)	35s
end-to-end-test (ubuntu-latest, ssh)	1m 18s
unit-test (ubuntu-20.04, 3.12)	49s
end-to-end-test (ubuntu-latest, docker)	23s
unit-test (ubuntu-latest, 3.8)	43s
end-to-end-test (macos-latest, local)	22s
unit-test (ubuntu-latest, 3.9)	40s
unit-test (ubuntu-latest, 3.10)	33s
unit-test (ubuntu-latest, 3.11)	33s
unit-test (ubuntu-latest, 3.12)	38s
unit-test (macos-13, 3.11)	53s
unit-test (windows-2022, 3.11)	1m 15s
tests-done	4s
	14m 4s

Provide feedback