úÎÛ…portable 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.6 Data.VoidVoidabsurdvacuousvacuousM$fIxVoid$fSemigroupVoid