↑型が複雑だと通らなかったので、シンプルに分解してなんとか通しました。解決できたわけではなさそう