In React Navigation 8, the types for params can be automatically inferred from the path pattern and parse option.
With navigation structure, navigator types, and params being inferred, technically, it's possible to have full type-inference without any explicit type annotations.