Data.Void
data Void