[idnefju]

C# are pushing for type classes https://github.com/dotnet/csharplang/issues/164

which author of F#, previously, didn't like to add to F#. (Not hating on how he wants the language to evolve)

[chusk3]

For clarity, the position is that large features like TC/HKT won't be added in a way that could conflict with a later-added .net/IL version of the feature.

[jolux]

There are real problems with IL compatibility. There’s a reason F# doesn’t have ML functors.