Data Classes and Sealed Types for Java




More at http://cr.openjdk.java.net/~briangoetz/amber/datum.html