They're not the same, and the biggest difference is explained in the Map<int, Option<String>> example: union types merge different uses of null that you usually

They're not the same, and the biggest difference is explained in the Map<int, Option<String>> example: union types merge different uses of null that you usually don't want merged.