なんでそうなってるかというと、「型チェックするコードと型宣言をするコードを一か所に書けるほうが安全じゃん？　静的検査もしやすいし」みたいな感じらしい・・・＞＜