"Không có trường hợp nào cho (Ord k)" khi triển khai Functor trên Data.Map.Map

Question

Tôi đang cố gắng triển khai Fmaptor Functor trên Data.Map.Map, nhưng tôi gặp lỗi. Tôi chắc rằng tôi không cần phải chuyển đổi Bản đồ sang và từ một Danh sách để làm việc này, nhưng đây là điều tốt nhất tôi đã đưa ra cho đến nay.

class Functor' f where 
    fmap' :: (a -> b) -> f a -> f b 

instance Functor' (Map.Map k) where 
    fmap' f m 
     | Map.null m = Map.empty 
     | otherwise = let x:xs = Map.toList m 
          mtail = Map.fromList xs 
          a = fst x 
          b = snd x 
         in Map.insert a (f b) (fmap f mtail) 

Lỗi:

No instance for (Ord k) 
    arising from a use of `Map.fromList' 
In the expression: Map.fromList xs 
In an equation for `mtail': mtail = Map.fromList xs 
In the expression: 
    let 
    x : xs = Map.toList m 
    mtail = Map.fromList xs 
    a = fst x 
    .... 
    in Map.insert a (f b) (fmap f mtail) 

Bất kỳ ý tưởng?

Answer 1

Lỗi là do không gán biến vị ngữ Ord cho biến kiểu k. Chỉ cần làm điều này:

instance Ord k => Functor' (Map.Map k) where