abs package:rio

Absolute value.

Since Void values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".

>>> let x :: Either Void Int; x = Right 5

>>> :{
case x of
Right r -> r
Left l  -> absurd l
:}
5

not . isRelative

isAbsolute x == not (isRelative x)