throwsのエラー側と、返り値側は常に区別されているから Tagged