It makes sure that you never pass a `LocationId` where a `UserId` is expected; the type system literally will not allow it.
It makes sure that you never pass a `LocationId` where a `UserId` is expected; the type system literally will not allow it.