> It becomes more verbose with this type annotation everywhere making it look like nightmare.

this is part of the appeal of the "header file approach" a la RBS, as mentioned in the article https://blog.jez.io/history-of-sorbet-syntax/#the-header-fil...