如何为含Typeable的GADT实现带条件的Show实例？

完全可以实现，结合你提到的Typeable约束，我们可以动态检查类型a是否存在Show实例，从而返回对应的显示结果。以下是具体实现：

首先，修正GADT定义（加上Typeable约束，这是你实际代码中已有的）：

{-# LANGUAGE GADTs #-}
{-# LANGUAGE Typeable #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleInstances #-}

import Data.Typeable
import Data.Constraint (Dict(..))
import Unsafe.Coerce

data GADT where
  Data :: Typeable a => a -> GADT

接下来实现Show实例：

instance Show GADT where
  show (Data a) = case getShowDict a of
    Just Dict -> show a
    Nothing -> "UNSHOWABLE"
    where
      -- 辅助函数：根据TypeRep查找对应类型的Show实例字典
      getShowDict :: forall a. Typeable a => a -> Maybe (Dict (Show a))
      getShowDict _ = unsafeCoerce (lookupShowInstance (typeRep (undefined :: a)))

      -- 维护一个Show实例注册表，可根据需要添加更多支持的类型
      lookupShowInstance :: TypeRep -> Maybe (Dict Show)
      lookupShowInstance tr
        | tr == typeRep (undefined :: Int) = Just Dict
        | tr == typeRep (undefined :: String) = Just Dict
        | tr == typeRep (undefined :: Bool) = Just Dict
        | tr == typeRep (undefined :: [Int]) = Just Dict
        -- 继续添加你需要支持的其他Show类型
        | otherwise = Nothing

说明 #

1. Dict (Show a)：这是Data.Constraint库提供的类型，用来显式表示Show a这个约束实例。
2. lookupShowInstance：手动维护一个支持Show的类型注册表，通过比较TypeRep来判断当前类型是否在列表中。
3. unsafeCoerce：这里的使用是安全的——因为只有当类型a确实存在Show实例时，我们才会从注册表中返回对应的Dict，Typeable保证了类型匹配的正确性。

如果你不想手动维护注册表，也可以借助模板Haskell自动生成所有已定义Show实例的注册表，但上述手动方式已经能满足大部分场景的需求。

内容的提问来源于stack exchange，提问作者Maki