ファンクタのスーパータイプに競合するインスタンスがあります

Question

注文タイプを必要とする私の順序付きトリプルデータ型（OrdTriple）上にマップする可能性のある関数の型に制約を適用するために、Fine-Grained Functorクラスを定義しました（FgFunctor）。

import Data.List (sort) 

-- 'fine-grained' functor 
class FgFunctor f a b where 
    fgmap :: (a -> b) -> f a -> f b 

data OrdTriple a = OrdTriple a a a deriving Show 

instance (Ord a, Ord b) => FgFunctor OrdTriple a b where 
    fgmap f (OrdTriple n d x) = OrdTriple n' d' x' 
     where [n', d', x'] = sort [f n, f d, f x] 

main :: IO() 
main = do 
    let test = fgmap (* 10^4) $ OrdTriple 1 6 11 
    print test 

私はそうのように、またFgFunctor sと他のすべてのFunctor Sを定義するまで、コードが正常に動作します：できるだけ早く私はOrdTripleにfgmapを使用しようとして、そのインスタンス宣言で

-- all regular functors are also fine-grained ones 
instance Functor f => FgFunctor f a b where 
    fgmap = fmap 

コンパイラは重複するインスタンス宣言について文句を言います

Overlapping instances for FgFunctor OrdTriple b0 b0 
    arising from a use of ‘fgmap’ 
Matching instances: 
    instance Functor f => FgFunctor f a b 
    -- Defined at OrdTriple.hs:15:10 
    instance (Ord a, Ord b) => FgFunctor OrdTriple a b 
    -- Defined at OrdTriple.hs:18:10 
In the expression: fgmap (* 10^4) 
In the expression: fgmap (* 10^4) $ OrdTriple 1 6 11 
In an equation for ‘test’: 
    test = fgmap (* 10^4) $ OrdTriple 1 6 11 

ただし、最初の '一致するインスタンス'はOrdTripleには適用しないでください.OrdTripleはFunctorではありません。そのため、重複の原因となっているものを特定するのは苦労しています。

Answer 1

コンパイラ（GHC）が特定の型の型クラスのインスタンスを探すとき、各インスタンスのコンテキストを考慮に入れません。だからOrdTripleがFunctorのインスタンスではないにもかかわらず、のインスタンスがOrdTripleの2つのインスタンスが見つかったのです。

GHC/AdvancedOverlapは、この状況をどのように解決できるかを示しています。