Suggestion: shorthand syntax for annotating function with type

I like to define types for my functions by separating the type out from the value:

type id = <A>(a: A) => A;
const id: id = a => a;

This helps particularly for longer functions where the parameter list often spans many columns and multiple lines.

However, compared to Elm/Haskell, this code is quite boilerplate-y. I wonder if there is some shorthand syntax we could add to make this pattern more concise. For example, the same code in Elm/Haskell:

id : a -> a
id a = a

The boilerplate in the current TypeScript syntax is:

• Manual annotation of value (id) with type of same name (id). Could this be automatic, e.g. matched by name?
• TypeScript requires parameter names for the function type, but are these always required? Could the function type simply by A => A, omitting the parameter names? Or would this cause problems?

Bắt đầu bằng cách so sánh cú pháp viết tắt TypeScript được đề xuất với các ví dụ Elm và Haskell trong issue. Hãy xác định cú pháp được chấp nhận và hành vi kiểm tra kiểu của cú pháp đó trước khi xác định các vị trí triển khai và kiểm thử; issue không chỉ rõ tệp, điểm vào hay tiêu chí hoàn thành cụ thể.