Many laws exist that express the intent of a law-making body but are either unenforceable or too expensive to enforce in any meaningful way. Perhaps the const declaration in C is an example of this type of law.

In contrast, a Standard ML compiler can enforce this law because the language itself insists that all bindings are immutable.