úÎb}(C) 2008-2013 Edward Kmett BSD-style (see the file LICENSE)Edward Kmett <ekmett@gmail.com> provisionalportable Trustworthy*+0"A logically uninhabited data type.Since b values logically don't exist, this witnesses the logical reasoning tool of "ex falso quodlibet".If  is uninhabited then any  that holds only values of type  is holding no values.If  is uninhabited then any  that holds values of type  is holding no values. Reading a , value is always a parse error, considering & as a data type with no constructors.       (C) 2008-2013 Edward Kmett BSD-style (see the file LICENSE)Edward Kmett <ekmett@gmail.com> provisionalportableUnsafeIf  is uninhabited than any $ that holds only values of the type  is holding no values.\This is only safe for valid functors that do not perform GADT-like analysis on the argument.If  is uninhabited then any  that holds values of type  is holding no values.ZThis is only safe for valid monads that do not perform GADT-like analysis on the argument.    void-0.7 Data.VoidData.Void.UnsafeVoidabsurdvacuousvacuousM unsafeVacuousunsafeVacuousMbaseGHC.BaseFunctorMonad $fReadVoid$fExceptionVoid$fIxVoid$fSemigroupVoid $fShowVoid $fOrdVoid$fHashableVoid$fEqVoid