在Haskell中使用Dynamic/fromDynamic时是否可以恢复约束？

我正在设计一个需要跟踪不同类型表格的系统。拥有一个权威的表列表会非常方便*，并且拥有此列表的最佳方式 - 我认为 - 作为代理列表，因为有时我确实需要该类型。我认为 HLists 是一种选择，但即使在大量使用 Haskell 2 年后，它们看起来也很笨拙，所以我一直在寻找Dynamic.

• 实际上，最好有 0 个列表，并且只有一种方法可以在运行时查询特定类型类的所有可用实例，但我不确定有没有办法做到这一点（最后我检查过）。

我的代码目前看起来像这样：

allCowProxies :: [Dynamic]
allCowProxies = [
    toDyn $ Proxy @HoboRecord
  , toDyn $ Proxy @AF.AfiFarmRecord
  , toDyn $ Proxy @DCP.DcPrediction
  , toDyn $ Proxy @DCF.DcFreshFeatures
  , toDyn $ Proxy @DCH.DcHistorical
  , toDyn $ Proxy @SA.ShActivity
  , toDyn $ Proxy @SRE.ShRumAndEating
  , toDyn $ Proxy @SX.SxRecord
  ]

allCowRecs :: [TypeRep]
allCowRecs = catMaybes $ toTypeRep <$> allCowProxies
  where
    toTypeRep d = case fromDynamic d of
      Just x -> Just $ typeRep x
      Nothing -> Nothing

但这会产生错误：

    • No instance for (Typeable proxy0)
        arising from a use of ‘fromDynamic’
    • In the expression: fromDynamic d
      In the expression:
        case fromDynamic d of
          Just x -> Just $ typeRep x
          Nothing -> Nothing
      In an equation for ‘toTypeRep’:
          toTypeRep d
            = case fromDynamic d of
                Just x -> Just $ typeRep x
                Nothing -> Nothing
   |
37 |     toTypeRep d = case fromDynamic d of
   |                        ^^^^^^^^^^^^^

数据类型都应该实现Typeable，但如果不实现，我希望就到Nothing这里，而不是编译时错误。我想，从观察来看，它并没有完全推断出类型，而只是推断出外部类型（代理）。

是否有任何解决方法，或者建议的替代方法也将受到欢迎。

更新

虽然@Li-Yao Xia 的回答确实直接回答了这个问题，但我最终选择了另一种解决方案，并想在这里记录下来。它有点传统，但确实需要RankNTypes启用。

data CowRecTbl =
    Hobo   (Proxy HoboRecord)
  | Afi    (Proxy AF.AfiFarmRecord)
  | DcPred (Proxy DCP.DcPrediction)
  | DcFf   (Proxy DCF.DcFreshFeatures)
  | DcHist (Proxy DCH.DcHistorical)
  | ShAct  (Proxy SA.ShActivity)
  | ShRum  (Proxy SRE.ShRumAndEating)
  | SxTec  (Proxy SX.SxRecord)

allCowProxies :: [CowRecTbl]
allCowProxies = [
    Hobo   $ Proxy @HoboRecord
  , Afi    $ Proxy @AF.AfiFarmRecord
  , DcPred $ Proxy @DCP.DcPrediction
  , DcFf   $ Proxy @DCF.DcFreshFeatures
  , DcHist $ Proxy @DCH.DcHistorical
  , ShAct  $ Proxy @SA.ShActivity
  , ShRum  $ Proxy @SRE.ShRumAndEating
  , SxTec  $ Proxy @SX.SxRecord
  ]

cowRecTblApplyPx :: forall a.
  (forall r k. EntityRec r k => Proxy r -> a) -> CowRecTbl -> a
cowRecTblApplyPx f (Hobo px) = f px
cowRecTblApplyPx f (Afi px) = f px
cowRecTblApplyPx f (DcPred px) = f px
cowRecTblApplyPx f (DcFf px) = f px
cowRecTblApplyPx f (DcHist px) = f px
cowRecTblApplyPx f (ShAct px) = f px
cowRecTblApplyPx f (ShRum px) = f px
cowRecTblApplyPx f (SxTec px) = f px


allCowRecs :: [TypeRep]
allCowRecs = (cowRecTblApplyPx typeRep) <$> allCowProxies

随着-Werror=incomplete-patterns启用时，所有我所要做的就是记住要添加新条目allCowProxies和类型系统应该提醒我，如果我忘了别的。在某些时候，我可能仍会在评论中尝试 Carl 的建议。

回答

dynTypeRep :: Dynamic -> TypeRep   -- TypeRep = SomeTypeRep   in the docs

allCowRecs :: [TypeRep]
allCowRecs = dynTypeRep <$> allCowProxies