[MangelMaxime]

F# leaves [<DefaultValue>] fields out of an explicit constructor's { ... } expression, so the generated constructor got one argument per missing field too few: shifted fields on JS, TS2554 on TS, a missing argument on Python, and "The lists had different lengths" on Rust and Beam.

[github-actions]

Python Type Checking Results (Pyright)

Metric	Value
Total errors	33
Files with errors	4
Excluded files	4
New errors	✅ No

Excluded files with errors (4 files)

These files have known type errors and are excluded from CI. Remove from pyrightconfig.ci.json as errors are fixed.

File	Errors	Status
temp/tests/Python/test_hash_set.py	18	Excluded
temp/tests/Python/test_applicative.py	11	Excluded
temp/tests/Python/test_nested_and_recursive_pattern.py	2	Excluded
temp/tests/Python/fable_modules/thoth_json_python/encode.py	2	Excluded