在typeclass实例中提供函数类型签名时会出现错误

Question

data ExactlyOne a = ExactlyOne a deriving (Eq, Show)

instance Functor ExactlyOne where
  (<$>) ::
    (a -> b)
    -> ExactlyOne a
    -> ExactlyOne b
  (<$>) f a = ExactlyOne $ f (runExactlyOne a)

data Odd = Odd Integer
  deriving (Eq, Show)

instance Enum Odd where
  -- succ :: Odd -> Odd <-- error
  succ (Odd x) = Odd $ x + 2

实例声明中的非法类型签名:succ::odd->Odd（使用InstanceSigs允许这样做）

没有它也能工作，但我想知道为什么会产生这个错误，如何为这个函数正确指定类型签名？

Answer 1

实例中的签名对于类型类中的类型签名来说是多余的。如果稍后稍稍更改typeclass的签名，例如添加额外的类型约束，则可能只因为签名不再协调而导致错误。

这在Haskell'10报告中关于实例声明的一节中指定：

声明不能包含任何类型签名或固定性声明，因为它们已经在类声明中给出了。在缺省类方法的情况下（第4.3.1节），方法声明必须采用变量或函数定义的形式。

class  Enum a   where
    -- | the successor of a value.  For numeric types, 'succ' adds 1.
    succ                :: a -> a
    -- ...

{-# LANGUAGE InstanceSigs #-}

data Odd = Odd Integer deriving (Eq, Show)

instance Enum Odd where
  succ :: Odd -> Odd
  succ (Odd x) = Odd $ x + 2