>>292
> 全ての型a,bに対してmapを定義する必要があるじゃん？

ないよ。その為のinterfaceでありgenericsだろ。