Рассмотрим мою первую попытку, простой тип на F #, подобный следующему: type Test() = inherit...

Почему в дискриминационном союзе запрещены привязки? Я предполагаю, что это связано с тем, что...