TypeScriptでstrong typedef的なことしようとしてたけど、TypeScriptの型がガバすぎて敗退したのが今日のハイライト