infer the type of `map`
1.1.1