ですね。

8:24 AM

うーん、結局 Void のインスタンスを扱わなければならないとき（ジェネリクスの型パラを Void で埋めたときなど）は Void 型のインスタンスを扱う必要があって、そうすると Void が () の typealias であることを知っている必要があって・・・と考えると、 Void より () と書いている方がいい気がしてきました。

8:25 AM

戻り値 Void はそもそも省略できるから書かないし。