おうふ、追加してしまいました…いらないならあとでrevertします。
判別共用体では脚注いれていないですね。「代数的データ型です」と脚注入れるかでだいぶ悩みましたが。