cro*_*eea 7 reflection haskell ghc
我正在与syntactic的作者合作,为各种类型添加支持.我建议使用类型列表来允许使用任何类型,开发人员提出了一个更清晰的解决方案,允许使用任何实例Typeable.
我知道(至少当前版本)Data.Reflection 不支持Typeable GHC 7.8中的具体类型,但至少他们提出了使用的解决方法lens.
我的问题是关于图书馆的原始提案:除了(某些形式的)具体类型之外,GHC 7.8中的哪些其他类型不能成为实例Typeable？如果这些类型足够奇怪/罕见,那么使用所需的清洁解决方案就足够了Typeable,但如果[其他]常用类型不是Typeable,则类型列表将是更通用的解决方案.