This might sort of work if everything from the domain gets a disjoint type, but stringly-typed code is a lot more common and the type system barely matters.