TS、型レベルと値レベルがソースコードにめちゃくちゃ同居しててすごいな（？）