跳转至外部链接
https://blog.scottlogic.com/2025/01/20/algebraic-data-types-with-java.html