https://javainspires.blogspot.com/2022/09/java-records.html