Я ☞ Methods ☞ not

Essentialy, this method just swaps members of a Sum type:

not: e `S` ee `AR_` ee `S` e

Could be used with unwrapped Boolean, Optional, Progress expressions.

rewrap not `hv` by True `AR___` by False
rewrap not `hv` by False `AR__` by True

rewrap not `hv` by Valid `AR__` by Error
rewrap not `hv` by Error `AR__` by Valid

rewrap not `hv` by Some `AR__` by None
rewrap not `hv` by None `AR__` by Some