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