@hackage boring0.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