Haskellのタイプの問題

Question

は私が書いたコード：

{-# LANGUAGE InstanceSigs #-} 
{-# LANGUAGE FlexibleInstances #-} 

module MonoidApp where 

class Monoid' a where 
    mempty' :: a 
    mappend' :: a -> a -> a 

    mconcat' :: [a] -> a 
    mconcat' = foldr mappend' mempty' 

instance Monoid' Int where 
    mempty' :: Int a => a 
    mempty' = 0 

    mappend' :: Int a => a -> a -> a 
    mappend' a b = (+) a b 

をしかし、それはエラーに実行されます。

‘Int’ is applied to too many type arguments 
    In the type signature for ‘mempty'’: mempty' :: Int a => a 
    In the instance declaration for ‘Monoid' Int’ 
Failed, modules loaded: none. 

任意のアイデアなぜですか？

Answer 1

それは次のようになります。

instance Monoid' Int where 
    mempty' :: Int 
    mempty' = 0 

    mappend' :: Int -> Int -> Int 
    mappend' a b = (+) a b