úÎCÆportable provisionalEdward Kmett <ekmett@gmail.com>None#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.     void-0.5.8 Data.VoidVoidabsurdvacuousvacuousMbaseGHC.BaseFunctorMonad$fIxVoid$fSemigroupVoid