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

See "What does () mean in Haskell -answer by Conor McBride":
https://stackoverflow.com/questions/33112439/what-does-mean-in-haskell/33115522#33115522