These are simple monads that aim to reduce the pain of composing
invariants/properties, and the documenting of those
invariants for determining the cause of failure.
Specifically, they provide a tool for effective diagnostic
for invariants with changing post-conditions, leading to a
faster cause-of-failure diagnosis.