[wolfadex]

Type annotations aren't inline in all languages. If you're writing Haskell or Elm, as a few examples, then you get static types without having to write them out and if you do write them out they sit above the function that uses them.

[ric2b]

I don't think anyone is disappointed that it isn't literally inline, the problem is that it's in separate files.