“空”可遍历-是否有意义，是否在任何库中提供？

Question

我正在编写一段使用的抽象的Haskell代码Traversable。在这种抽象的背后，我希望能够隐藏所有常规的可遍历结构，例如列表，树，地图等，并以特殊情况将其Data.Functor.Identity.Identity作为包含单个值的基本结构。我还想介绍一个“空”结构的情况。这样的“空”可遍历实例是否存在？也许任何图书馆都已经提供了？

我第一次（可能是幼稚的）定义这种实例的尝试如下。是否有意义？

data Empty a = Empty

instance Functor Empty where
    fmap _ _ = Empty

instance Foldable Empty where
    foldr _ init _ = init

instance Traversable Empty where
    sequenceA _ = pure Empty

Answer 1

就基本类型而言，Proxy正是这样。Const ()也可以。（也有U1，但这是泛型机制的一部分，在其他情况下可能会感觉有点不合时宜。）