数少ないパターンは逆な気がしてるんですよね。多くのコンポーネントはクラス不変条件をもっていて型だと足らなくて動的検査が必要、すなわち let になることの方が多いと思っています