Java sum types work but still need a bit of syntax sugar on the declaration side, IMHO.