throws句はuntagged unionを毎回書き下してるとも言えますね

うん。なので、先の型パラの話は、untagged unionがあれば解決するんよね。 throws A, B, Cをthrows A|B|Cのシュガーにする。