úÎa%portable provisionalEdward Kmett <ekmett@gmail.com>HSince Void values are logically uninhabited, this witnesses the logical  reasoning tool of 'ex falso quodlibet'.  void-0.5.4.3 Data.VoidVoidabsurdvacuous