It seems like a great language; I'm going to look into it this year - maybe for advent of code or some data science/ML stuff. For some annoyances there is F#+: https://fsprojects.github.io/FSharpPlus/
Agreed. F# lacks the HKT that the OP calls for, but it is possible to write plenty of pragmatic functional code without them. They might land soon though.
What's your source for F# getting HKT's soon?
C# has a HKT proposal now. If C# gets it, F# will soon follow.