https://all-dressed-programming.com/posts/java-records/