"Nessuna istanza per (Ord k)" durante l'implementazione di Functor su Data.Map.Mappa

Question

Sto tentando di implementare la Funcmap fmap su Data.Map.Map, ma sto ricevendo un errore. Sono sicuro di non aver bisogno di convertire la Mappa in e da una Lista per far funzionare tutto questo, ma questo è il migliore che ho trovato finora.

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'errore:

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) 

Tutte le idee?

Answer 1

L'errore è dovuto all'impossibilità di assegnare il predicato Ord alla variabile di tipo k. Basta fare questo:

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