They haven’t been merged. One feature that gives some brevity is type directed constructor disambiguation which allows you to omit the module name when accessin

They haven’t been merged. One feature that gives some brevity is type directed constructor disambiguation which allows you to omit the module name when accessing record fields, matching values, or constructing values, provided the type can be inferred in a certain directional way (rather than the more general unification based type inference which is used by the type checker)