(Int) -> () 型を禁止するわけにはいかないからでしょうか。