úΔ¯portable provisionalEdward Kmett <ekmett@gmail.com> Trustworthy#A logically uninhabited data type. Since  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.       portable provisionalEdward Kmett <ekmett@gmail.com>UnsafeIf  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. [This is only safe for valid monads that do not perform GADT-like analysis on the argument.      void-0.6.1 Data.VoidData.Void.UnsafeVoidabsurdvacuousvacuousM unsafeVacuousunsafeVacuousMbaseGHC.BaseFunctorMonad $fReadVoid$fExceptionVoid$fIxVoid$fSemigroupVoid $fShowVoid $fOrdVoid$fHashableVoid$fEqVoid