AをBに型だけ変換する関数、Bの型をexportしなければ変換関数を強制できていいなと思ってたけどReturnTypeでBの型が得られるからasで台無しにできるし、lintなりなんなりがないと完全に縛れないか