'Boring' types are isomorphic to '()'.
'Absurd' types are isomorphic to 'Void'.
See What does () mean in Haskell -answer by Conor McBride.