úΰgportable provisionalEdward Kmett <ekmett@gmail.com> Safe-InferedHSince Void values are logically uninhabited, this witnesses the logical  reasoning tool of 'ex falso quodlibet'.  void-0.5.5.1 Data.VoidVoidabsurdvacuous$fIxVoid$fSemigroupVoid