今ってextension Tを書くと実質的に任意のsome Tに対して関数生やしてる状態になってると思うんですが

8:33 AM

人々の理解はここに至ってなくて、結構any Tに生やしてると思ってそう