Records cover immutable data and sealed hierarchies cover exhaustiveness. I still see Lombok in codebases 'for the builders'. Have you fully migrated, and what did you do about the builder pattern?