Haskell Tipi sorunu

Question

Ben kodu yazdı:

{-# 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 

Ama yanılgıya çalıştırır:

‘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. 

Herhangi bir fikir neden?

Answer 1

Olmalıdır: Int` parametreleri olmayan bir türüdür `, ancak birine uygulamak için denedim:

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

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