true locatives, such that two locatives compare equal if and only if they
refer to the same place; but that doesn't work for these locatives.
true locatives, such that two locatives compare equal if and only if they
refer to the same place; but that doesn't work for these locatives.