存在量化的类型 无法在类型类上下文中推断

Question

{-# LANGUAGE ExistentialQuantification, DeriveDataTypeable #-}
import Data.Typeable;
data EnumBox = forall s. (Enum s, Show s) => EB s
           deriving Typeable
instance Show EnumBox where
  show (EB s) = "EB " ++ show s

这行得通。但是，如果我想为 EnumBox 添加一个类枚举的实例，例如：

instance Enum EnumBox where
  succ (EB s) = succ s

它失败并显示以下消息：

Could not deduce (s ~ EnumBox)
from the context (Enum s, Show s)
  bound by a pattern with constructor
             EB :: forall s. (Enum s, Show s) => s -> EnumBox,
           in an equation for `succ'
  at typeclass.hs:11:9-12
  `s' is a rigid type variable bound by
      a pattern with constructor
        EB :: forall s. (Enum s, Show s) => s -> EnumBox,
      in an equation for `succ'
      at typeclass.hs:11:9
In the first argument of `succ', namely `s'
In the expression: succ s
In an equation for `succ': succ (EB s) = succ s

为什么第一个节目可以推演，而第二个成功却不能？

Answer 1

你唯一的问题是succ有类型

succ :: Enum a => a -> a

所以你需要

succ (EB s) = EB . succ $ s

只是再次装箱。

您可能还想要

instance Enum EnumBox where
    toEnum = EB
    fromEnum (EB i) = fromEnum i

由于这是完整性的最低定义，因为

succ = toEnum . succ . fromEnum