The type system by itself is not expressive enough to capture all of the intended invariants.

Another approach to expressing invariants is to bolster the type system with generic types, types parameterized by other types (the topic of our the most recent series of articles in this column).

Vision is the best perception system of human. Vision invariants for planar object recognition catch our attention.