为什么这个保留结构的“fmap”不能在这个Functor的类实例中被接受？

Question

下面定义的函数mapRightR仅更改映射的设置内容，而不是键，并生成有效的Relation类型。

是否真的不可能使用这个高级函数来定义Functor Relation实例，或者我的实现是错误的。

{-# LANGUAGE GADTs #-}

import Data.Map as M
import Data.Set as S

data Relation a b where
    R :: (Ord a, Ord b) => Map a (Set b) -> Relation a b

instance Functor Relation where
    fmap f r = mapRightR f r

mapRightR :: Ord b1 => (b2 -> b1) -> Relation a b2 -> Relation a b1
mapRightR f (R r) = R $ M.map (S.map f) r

谢谢， chepner 。

我尝试了另一个关系定义，使用List而不是Set，它可以工作！

data Relation a b where
    R :: (Ord a) => Map a [b] -> Relation a b

instance Functor (Relation a) where
    fmap f r = mapRightR f r

mapRightR :: (b2 -> b1) -> Relation a b2 -> Relation a b1
mapRightR f (R r) = R $ M.map (L.map f) r

Answer 1

mapRightR受约束，它不适用于任何类型b因为fmap需要：

-- Specialized for f ~ Relation c
fmap ::               (a -> b) -> Relation c a -> Relation c b

但

mapRightR :: Ord b => (a -> b) -> Relation c a -> Relation c b

---

在多个分类而言， Relation c是不是映射到Hask Hask（这是什么一个endofunctor Functor类型类的代表）映射Hask的只包含类型的一个子类，而是一个仿函数Ord实例Hask。 （我认为我正确地表达了这一点;欢迎更正。）