結局関数型の雄はなんなの?