よく考えればrecursiveモジュール使わなくても大丈夫じゃないか。別にoverloadingもいらないかも(いやそうじゃなくて)。