tarunon

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

extension P は常に <Self where Self. P> に対するextensionなんですよね