功能將無法從兩個類型類

Question

讀我聲明一個類和兩個實例：

class A a where 
    name :: a -> String 
    dMs :: a -> [(String,String,Double)] 

instance A B where 
    name s = B s 
    dMs a = dM a 

instance A C where 
    name s = C s 
    dMs a = dM a 

dM :: (A a) => [a] -> [(String,String,Double)] 

但是，當我編譯我的頭球攻門高出我得到一個錯誤：

Couldn't match expected type ‘[a0]’ with actual type ‘C’ 
    In the first argument of ‘dM’, namely ‘a’ 
    In the expression: dM a 

我想要的dM函數能夠獲取B或C類型的列表。

如果我改變頭只接受一種類型（或者只是B或者只是C）代碼編譯和工作沒有一個小故障。

Answer 1

我現在工作。

class A a where 
    name :: a -> String 
    dMs :: [a] -> [(String,String,Double)] 

instance A B where 
    name s = B s 
    dMs a = dM a 

instance A C where 
    name s = C s 
    dMs a = dM a 

dM :: (A a) => [a] -> [(String,String,Double)] 

所以它幹了什麼被指定在Class，它應該採取的a列表，像這樣：[a]。

感謝大家的幫助。