いや、上の投稿はおかしかったです。
>>513
よく読んだら、
a->bが型そのもので、型シグニチャではないんですね。なんとなく分かりました。