"Brak instancji dla (Ord k)" podczas implementacji Functor over Data.Map.Map

Question

Próbuję zaimplementować fmapę Functor na Data.Map.Map, ale pojawia się błąd. Jestem pewien, że nie muszę konwertować mapy na i z listy, aby to działało, ale jest to najlepsze, co do tej pory wymyśliłem.

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) 

Błąd:

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) 

Jakieś pomysły?

Answer 1

Błąd spowodowany jest nieprzypisaniem predykatu Ord do zmiennej typu k. Po prostu zrób to:

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