おお、まさにこれじゃん。

3:15 AM

Function typeにもextensionが欲しいと以前思ったことがあったんだけど "Extensions of structural types" っていう括りだと、それも含まれるのかな。