これって Typed Throws に関する落とし穴じゃない？高階関数において、一番簡単な書き方が望ましい書き方でなくなってしまってる。