Data.Void
data
Void
absurd
vacuous