A container that always has no values. https://github.com/vadimvinnik/empty-monad
|Latest on Hackage:||0.1.0.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
Like arithmetics is incomplete without zero, set theory is impossible without
a notion of an empty set, algorithm theory must take into account totally
undefined functions -- so the domain of data types needs its absolute zero.
Void type from the
void package https://hackage.haskell.org/package/void
provides a zero element for the kind
* of unparametrized types. This package
does the same for the kind
*->* of types with one parameter.