関数型が加わっているから複雑になるのは自明って、
それこそそんな自明な話は誰もしてないんじゃね