@sbr Turbo fish for annotating type at call site and underscore for inference placeholder gives rise to this syntax.
When it comes to type level syntax there are just not many familiar precedents: C++, OCaml, Haskell, Scala, that’s it, and arguably only C++ is widely known.