Bottom is the type without values, a function with return type bottom is a function that not returns. Haskell has the term undefined, wich causes the program to abort when you try to evaluate it.