https://blog.huichan.kr/posts/Java-Record/