В хаскелле типы рассматриваются, как множества всех возможных значений. Например, Integer - это ∀x(x ∈ ℤ), т.е. любое целое число (бесконечное множество оных; правда, не уверен по поводу целых). Тогда мы можем представить и другой крайний случай: тип {ø} (пустое множество). Это можно выразить, такой тип называется Void, можно даже определить следующую функцию:

absurd :: Void -> a

(где а - это полиморфный тип, т.е. дженерик).
Абсурдная она потому, что её невозможно применить (вызвать), так как не существует значений для типа Void. Таким образом, эта функция - это буквально утверждение "из лжи может происходить что угодно"