> Having to operate in a world of nulls and exceptions can reduce/nullify the amazing benefits of discriminated unions.

I've been saying this about Kotlin on the JVM for ages. Using a Java dependency is an absolute last resort for me for those same reasons you mention about .NET from F#.