https://en.wikipedia.org/wiki/Bottom_type#In_programming_languages https://en.wikipedia.org/wiki/Bottom_type#In_programming_lan... if you want to know what it’

https://en.wikipedia.org/wiki/Bottom_type#In_programming_languages https://en.wikipedia.org/wiki/Bottom_type#In_programming_lan... if you want to know what it’s called in other languages (for some reason it doesn’t mention `Void` for Haskell though)