あとtsはコンパイルが終わると型情報捨てられるの辛い。動的な型検査で外部から流入してくるjsonとか処理したいなぁ