条件付きのtypealiasって書けるんでしたっけ