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