関数型はあるけど、関数のパラメータ部分には拡張仕様がないと取れないやつです

2:12 PM

そこの型は単純に27番目の関数が0引数0返り値の関数であることを示してるやつですね (edited)