>型無の関数型がありえる以上

ちょっと待って、それって「関数型」の定義が与えられてなけりゃ言えないことでしょ。