A Haskell 98 logically uninhabited data type.  Used to indicate that a
given term should not exist.

WWW: https://github.com/ekmett/void