|Copyright||(C) 2008-2013 Edward Kmett|
|License||BSD-style (see LICENSE)|
|Maintainer||Richard Eisenberg (email@example.com)|
This module is a reimplementation of Edward Kmett's
It is included within singletons to avoid depending on
void and all the
packages that depends on (including
text). If this causes problems for
you (that singletons has its own
Void type), please let me (Richard Eisenberg)
A logically uninhabited data type.
Void values logically don't exist, this witnesses the logical
reasoning tool of "ex falso quodlibet".