>>339
その型になるどういう関数を定義したいの?
書き間違いじゃなければ、その型にまともな定義は与えられない
(無限ループか、例外を投げるしかない)ように見えるけど