Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.