とりあえずpolymorphismは保留。MLみたいなのじゃ無理ぽ。