boring-0.2.2: 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