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