Proposition de déclarations / instances de données locales

Question

Je suis curieux, et je n'ai pas réussi à trouver une proposition pour quelque chose comme ça dans Haskell. Considérons si sort avait été rédigée mais pas sortBy .

sortBy :: forall a. (a -> a -> Ordering) -> [a] -> [a]
sortBy f = map getX . sort . map X
    where
    newtype X = X { getX :: a }
    instance Ord X where
        compare (X a) (X b) = f a b

Quelqu'un a-t-il vu cette proposition ?

Answer 1

Apparemment, les instances locales ont été brièvement discutées sur la liste de diffusion Haskell Prime : http://web.archiveorange.com/archive/v/eKcS7T2qBpy7czBE2Jei et plus en détail dans les 6 th chapitre de l'article d'Oleg "Functional Pearl" : Configurations implicites". Je n'ai pratiquement rien entendu sur les déclarations de données locales.