functor/类应用程序类型类，用于组成(A->A)函数而不是(A->B)？

Question

我有一种类型看起来是这样的：

newtype Canonical Int = Canonical Int

和一个函数

canonicalize :: Int  -> Canonical  Int
canonicalize =  Canonical . (`mod` 10)  -- or whatever

cmap :: (b->Int) -> (Canonical b) -> (Canonical Int)
cmap f (Canonical x) = canonicalize $ f x

cmap2 :: (b->c->Int) -> (Canonical b) -> (Canonical c) -> (Canonical Int)
cmap2 f (Canonical x) (Canonical y) = canonicalize $ f x y

newtype Canonical a = Canonical { value :: a, canonicalizer :: a -> a }

instance (Functor Int) (Canonical Int) 

我也试过

newtype (Integral a) => Canonical a = Canonical a -- -XDatatypeContexts
instance (Integral a) => Functor Canonical where
  fmap f (Canonical x) = canonicalize  $ f x

但是GHC说DataTypeContexts是不推荐使用的，这是一个坏主意，更严重的是，我得到：

 `Could not deduce (Integral a1) arising from a use of 'C'   
 from the context (Integral a)
 bound by the instance declaration
 [...] fmap :: (a1 -> b) -> (C a1 -> C b)

我认为这是说约束integrala实际上不能用我希望的方式将fmap约束为(integral->Integral)，这是很明显的（因为fmap有两个类型变量）：-（

当然，这也是无效的，哈斯克尔

instance (Integer a) => Functor Canonical where

是否有类似的类型类我可以使用，或者我尝试使用类型类来实现“隐式规范化函数调用的结果”的功能是错误的？

Answer 1

我认为您试图实现的功能在单次可遍历包中是可用的，在本例中是单函子类型类。