boring

• Boring types are isomorphic to ().
• Absurd types are isomorphic to Void.

See What does () mean in Haskell -answer by Conor McBride