This page has moved to Either This Or That — Why I Wanted Disjunctive Types In Java.