One §70 effect, as a closed discriminated union — see the module header for why it is closed and what widening it means.
One §70 effect, as a closed discriminated union — see the module header for why it is closed and what widening it means.