Scala3 の Capture Checking / Separation Checking 入門
zenn.dev