如何自動派生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的能力。