Exactly. I was exposed to elixir/phoenix and could not help but think "man, typespecs is the best we get? wish this were F#". But alas, all the momentum and mindshare is being sucked up by elixir/phoenix. If F# could replicate that somehow that would be AMAZING.
I don't mean to knock Elixir/Phoenix though. They are very cool and intersting. Erlang/beam is.. interesting. But F#'s tooling is just fantastic.