で、たまたま今回のケースはその２者が union関係だったから、union typeがあったらよかった、ということで

5:07 AM

String と struct FilePath みたいな２者でも同じ課題があると思う