Haskell 存在类型

Question

我试图围绕 Haskell 的存在类型展开我的大脑，我的第一个示例是可以显示的事物的异构列表：

{-# LANGUAGE ExistentialQuantification #-}
data Showable = forall a. Show a => Showable a

showableList :: [Showable]
showableList = [Showable "frodo", Showable 1]

现在在我看来，接下来我想做的就是让 Showable 成为 Show 的一个实例，例如，我的 showableList 可以显示在 repl 中：

instance Show Showable where
  show a = ...

我遇到的问题是，我在这里真正想做的是调用a的底层show实现。 但我在引用它时遇到了麻烦：

instance Show Showable where
  show a = show a

在循环运行的 RHS 上挑选Showable的 show 方法。 我尝试了自动派生 Show，但这不起作用：

data Showable = forall a. Show a => Showable a
  deriving Show

给我：

Can't make a derived instance of `Show Showable':
  Constructor `Showable' does not have a Haskell-98 type
  Possible fix: use a standalone deriving declaration instead
In the data type declaration for `Showable'

我正在寻找某种方式来调用底层的 Show::show 实现，以便Showable不必重新发明轮子。

Answer 1

instance Show Showable where
   show (Showable a) = show a

show a = show a不像您所意识到的那样工作，因为它无限递归。 如果我们在没有存在类型的情况下尝试这个，我们可以看到相同的问题和解决方案

data D = D Int
instance Show D where show a = show a -- obviously not going to work

instance Show D where show (D a) = "D " ++ (show a) -- we have to pull out the underlying value to work with it