Records were introduced in Java 16, and to show it can be done, there is a UnixDomainPrincipal record in the JDK. But that's it for the public part of the JDK. Elsewhere, I have not seen a profusion of record types either. Yet, I found records immensely useful in smaller programs, and I wonder if they are under-appreciated.
