あー、F#的にジェネリックって呼ぶならそのままで、脚注もいらないんじゃないですかね。
判別共用体にヴァリアント型って脚注いれてないですよね？