the world if $type was a discriminated union