動的型付けでも型注釈のある言語はそれを大事なところで大いに使ってもらえば
良いと思うのだけれども、それでも型消去されたリストやmapしか持っていない
ようであれば片手落ちだと思う。