Standard Haskell lacks the ability to express the notion of "omitted content", making it impossible to distinguish the truly "undefined" and the merely "omitted".
- a universal definition of "omitted"; and
- an alternative to
- functions to observe the difference
The library is standards-compliant, type-safe, and user-friendly.