ハスケル型クラスのインスタンス化

Question

多項式のインスタンス、（coeffs、fromCoeffs、coeffsB、fromCoeffsBを実装したい）に、（PolyA a）と（PolyB a）を設定しようとしています。自分の関数が多項式のクラスには見えないというエラーメッセージが表示されるので、何が間違っているのかよく分かりません。助けてください？

class Polynomial p where 

--default implementations 
data PolyA a = Coeffs [a] 
      deriving (Show) 
data PolyB a = Const a | X (PolyB a) a 
      deriving (Show) 

--instances 
instance Polynomial (PolyA a) where 
    coeffs (Coeffs f)=f 
    fromCoeffs f= Coeffs f 

instance Polynomial (PolyB a) where 
coeffsB (Const f)= [f] 
coeffsB (X f a)= coeffsB f ++ [a] 
fromCoeffsB [] = error "Wrong Input!" 
fromCoeffsB [f]= Const f 
fromCoeffsB lis@(_:t)= X (fromCoeffsB (init lis)) (last lis) 

Answer 1

次のコードは、私のためにコンパイルされます。変更の

class Polynomial p where 
    coeffs :: p a -> [a] 
    fromCoeffs :: [a] -> p a 

--default implementations 
data PolyA a = Coeffs [a] 
      deriving (Show) 
data PolyB a = Const a | X (PolyB a) a 
      deriving (Show) 

--instances 
instance Polynomial PolyA where 
    coeffs (Coeffs f)=f 
    fromCoeffs f= Coeffs f 

instance Polynomial PolyB where 
coeffs (Const f)= [f] 
coeffs (X f a)= coeffs f ++ [a] 
fromCoeffs [] = error "Wrong Input!" 
fromCoeffs [f]= Const f 
fromCoeffs lis@(_:t)= X (fromCoeffs (init lis)) (last lis) 

概要：

• Polynomialクラス宣言にメソッドを追加します。
• インスタンス宣言の型引数を削除します。
• coeffsとfromCoeffsB〜fromCoeffsどこでも変更してください。
• 現時点では、PolyBは1つのスペースで宣言されています。