@escaping (T) -> U は T -> U のサブタイプ（？）だから、一応まとめられそう？

5:59 AM

引数のオーバーライドは反変だからスーパータイプで引数が @escaping (T) -> U だったのを (T) -> U でオーバーライドできるはず。