It seems like the sort of thing that system designers could benefit from understanding, but the ordinary users of a system shouldn't need to know about it.

In my experience such categories pop up when dealing with immutable data, which is common in many domains.