Precisely type the mappers

[inducer]

The "extra arguments" are the main difficulty here. But by making the mappers generic with a ParamSpec argument, I think this can be solved.