mapのほうから型推論しようとしてるならそうとも考えられそうですね。