[conradfr]

I really don't get how having to write

  @spec foo(String.t()) :: String.t()
  def foo(bar)

is better than

  def foo(String.t() bar): String.t()