Как вы предоставляете дискриминационный союз от поставщика типа F #

Можно ли выпустить дискриминационный тип объединения из поставщика типа F #? Если да, есть ли какой-нибудь пример кода для этого?