But Java doesn't even have union types