Предложение для локальных деклараций/экземпляров данных

Мне любопытно и не удалось найти предложение о чем-то подобном в Haskell. Подумайте, было ли написано sort, но не 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

Кто-нибудь видел это предложение?