だから、ここがextension書くときに明示的にsomeに対してなのか、anyに対してなのかを区別したくて

8:35 AM

これを区別できなければ、extension Tに生やしたsome Uが帰る関数を、any Tから使わせることは出来ない