Haskell中的empty和void类型有什么区别

Question

在 Hask 中，Void（无人居住的类型）是该类别的初始对象：

data Void

需要使用唯一函数来表明Void确实是初始对象：

absurd :: Void -> a
absurd = absurd

类型Void不是很空，因为Haskell类型有 bottom ，但Empty和Void类型之间有什么区别？