boring-0.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