boring Boring and Absurd types. Boring types are isomorphic to (). Absurd types are isomorphic to Void. See What does () mean in Haskell -answer by Conor McBride