I haven't used F# in a couple years now, but the longtime position of the maintainers has been that F# will not and should not adopt many features along those l

I haven't used F# in a couple years now, but the longtime position of the maintainers has been that F# will not and should not adopt many features along those lines because they interact poorly with the .NET type system. It's not a perfect comparison, but, having spent some time dealing with all the unusual and surprising ways that some Scala language features interact with Java's type system, I tend to agree with the F# community on that point.