TypeScriptの型推論でCLIバリデーションをなくせた話