úÎJÚportable provisionalEdward Kmett <ekmett@gmail.com> Safe-Infered#A logically uninhabited data type. HSince Void values are logically uninhabited, this witnesses the logical  reasoning tool of 'ex falso quodlibet'. If  is uninhabited then any  that holds values of type   is holding no values. If  is uninhabited then any  that holds values of type   is holding no values.    void-0.5.7 Data.VoidVoidabsurdvacuousvacuousMbaseGHC.BaseFunctorMonad$fIxVoid$fSemigroupVoid