a | b に関するテスト追加
タグ付き型も使えるようにした