型があること自体は別にいいんだけどイチイチ些細の変数の型まで定義するのが糞めんどくさくてanyでいいやってなったらもうtsである必要なくね？みたいになる