Confusing a variable's domain with the variable's own category commits a type-level fallacy.
This proposition has not been edited since the history system was added.