いや、 (() -> Int)&(() -> String) はただのオーバーロード。

2:07 AM

戻り値オーバーロードだからわかりづらいだけで

2:08 AM

((Int) -> ())&((String) -> ()) だと考えてみたら自明じゃない？

2:08 AM

foo(42) か foo("xyz") ができるだけ。