Though TypeScript has brought us type-safety for web development, many developers agree on that it has too many duplicated keywords and ways of writing ... such as the type annotation proposal for ...