Data Classes and Sealed Types for Java Posted on February 28, 2019 More at http://cr.openjdk.java.net/~briangoetz/amber/datum.html