つまり型定義と関数の実行を分離することにメリットがないと、嬉しさが減っちゃう