[B!] Tagged Type(Branded Type)を使って飛行機の不時着や人工衛星紛失を防ごう / Scala 3ではTagged Typeを簡単に作れる - Lambdaカクテル https://b.hatena.ne.jp/entry/s/blog.3qe.us/entry/2024/05/10/224811

よくわかんないけど、コンパイラが十分に賢ければAdaみたいに普通に派生型を作る方法で済むような？＞＜