Data.Singletons.Void

data Void

absurd

vacuous

vacuousM