typed throwsやるなら、同時にuntagged union ( T|U ) の整備も必要だと思うのだけど、そういう指摘はあるかしら (edited)