abs package:rebase

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