でもJavaはthrowsの後ろに複数の例外を書けるから、それを一つの型パラメータで表現するには、それがUnionで表されるようにならないといけないんよね。