value に型を書いてれば tsc が救ってくれたんだろうけど・・・。