如何自动派生DataKinds派生类型的Typeable实例？

Question

我有一些类型是这样的：

data Currency = USD | EUR 
       deriving (Show, Typeable) 

data Money :: Currency -> * where 
    Money :: Int -> Money c 
    deriving (Show, Typeable) 

而且我想在这个函数中使用typeOf与他们：

findRate :: Money a -> Rates -> Maybe Double 
findRate a = M.lookup (typeOf a) 

这并不工作，因为在findRate类型a没有一个Typeable实例。所以我通过这样做来解决这个问题：

deriving instance Typeable USD 
deriving instance Typeable EUR 
findRate :: (Typeable a) => Money a -> Rates -> Maybe Double 

但是，当货币数量增加时，这会变成很多样板。有没有办法指定所有类型的Currency应该派生出一个Typeable实例？

编辑：另外，一个办法让它推断，在Money a的a是Typeable将是很好，所以后来我并不需要添加(Typeable a) =>无处不在。虽然这很小。

Answer 1

是的，您可以使用AutoDeriveTypeable扩展名。

对于另一部分，我能想到的最接近的事是把Typeable c =>的GADT定义中，如下所示：

{-# LANGUAGE AutoDeriveTypeable #-} 
{-# LANGUAGE GADTs #-} 
{-# LANGUAGE DataKinds #-} 

import Data.Typeable 
import qualified Data.Map as M 

type Rates = M.Map TypeRep Double 

data Currency = USD | EUR 
       deriving (Show, Typeable) 

data Money :: Currency -> * where 
    Money :: Typeable c => Int -> Money c 

instance Show (Money c) where 
    show (Money n) = "Money " ++ show n 

findRate :: Money a -> Rates -> Maybe Double 
findRate a@(Money _) = M.lookup (typeOf a) 

但是请注意：

• 通过GADTs的性质，这实际上需要评估a以获取Typeable环境，而其中typeOf本身没有。
• 这似乎破坏了为GADT自动派生Show的能力。